Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Fixed the first sentence from
In a finitely cocomplete category, the dual of a subobject classifier.
to:
The notion of a quotient object coclassifier in a finitely cocomplete category is dual to that of a subobject classifier in a finitely complete category.
and changed the link from dual to abstract duality.
also improved the typesetting of the commuting square, from:
$\array{ Q &\stackrel{\epsilon}{\to}& \mathbb{0} \\ \downarrow^{\digamma_U} && \downarrow^{\exists !} \\ X &\stackrel{f}{\to}& U }$\array{
Q &\stackrel{\epsilon}{\to}& \mathbb{0}
\\
\downarrow^{\digamma_U} && \downarrow^{\exists !}
\\
X &\stackrel{f}{\to}& U
}
to:
$\array{ Q &\overset{\epsilon}{\longrightarrow}& \mathbb{0} \\ \big\downarrow {}^{\mathrlap{\digamma_U}} && \big\downarrow {}^{\mathrlap{\exists !}} \\ X &\underset{f}{\longrightarrow}& U }$\array{
Q
&\overset{\epsilon}{\longrightarrow}&
\mathbb{0}
\\
\big\downarrow {}^{\mathrlap{\digamma_U}}
&&
\big\downarrow {}^{\mathrlap{\exists !}}
\\
X
&\underset{f}{\longrightarrow}&
U
}
1 to 3 of 3