Subobject classifier: Difference between revisions

Revision as of 03:02, 15 November 2003

Revision as of 03:12, 15 November 2003

Line 3:

<i>

Y -> 1

<pre>

Y | -> 1 |

| v |v

X -> &Omega;

v v

X -> &Omega;

</pre>

</i>

is a [[pullback diagram]] - that is, <i>Y</i> is the <a href="http://en2.wikipedia.org/wiki/Limit_(category_theory)">limit</a> of the diagram <i>

v 1

<pre>

1 |

| v

g: X -> &Omega;

v

g: X -> &Omega;

</pre></i>

Here 1 is the [[terminal object]] of the category.