Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I recently read the article on internalizations on nlab, but I am not quite sure what falls under that description.

Is it fair to say, that subobjects are internalizations of subsets and that the subobject classifier internalizes characteristic functions?

share|cite|improve this question
up vote 4 down vote accepted

Internalizations is the process of describing a particular concept completely in terms of category theoretic language. Once that is done the same concept can be interpreted (internally, i.e., without need for any external ideas or concepts other than the category theoretic onces) in any category (provided the category has enough structure to for the description to be valid).

It is fair to say that subobjects are internalizations of subsets. A subobject classifier though is not the concept corresponding to characteristic functions. Instead, a subobject classifier is an internalization of the codomain of characteristic functions. It is what enables characteristic functions to exist (and characterize subobjects).

share|cite|improve this answer
The subobject classifier is the monomorphism $\mathrm{true} \colon 1 \to \Omega$, not just $\Omega$. So it would be more accurate to say that it is the internalization of the the inclusion $\{0\} \subset \{0,1\}$. But I'm being a little nitpicking... – Pece Jun 13 '13 at 17:00
@Pece good nitpicking :) – Ittay Weiss Jun 13 '13 at 21:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.