subset classifier

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

subset classifier (plural subset classifiers)

  1. (mathematics) A set which serves as the codomain of a characteristic function.
  2. (category theory, uncountable) The subobject classifier restricted to the category Set.

References[edit]