MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Does anyone know why in books on category theory the notation for the subobject classifier is almost everywhere the capital greek letter $\Omega$? Gérard Lang

share|cite|improve this question
According to Mac Lane [Concepts and categories in perspectives], this was the notation used in "the initial IHES edition of SGA IV, where it is noted that the set $\Omega (X)$ of all subobjects of an object $X$ in a Grothendieck topos $\mathbb{E}$ defines a sheaf for the canonical topology on $\mathbb{E}$ and so, by Giraud's theorem, is representable by some object $\Omega$." That answers the question of where the convention originates, but not why... – Zhen Lin Feb 7 '13 at 17:55
Maybe it's from the case of sheaves on a topological space, where Ω is the sheaf of open subsets (i.e., Ω(U) is the set of open subsets of U). Open starts with the letter O, which in greek is Ω. – Omar Antolín-Camarena Feb 7 '13 at 18:12
Maybe they had the christian 'alpha & omega' in mind. And the characteristic functions, as well as the true arrow end in omega. – Stephan Müller Feb 7 '13 at 18:54

Your Answer


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

Browse other questions tagged or ask your own question.