Subobject classifier: Difference between revisions

Revision as of 10:57, 18 March 2007

Revision as of 11:05, 18 March 2007

Line 71:

<math>\Omega(f)(S):=\{h:C\rightarrow B|f o h\in S\}</math> is a sieve on B, where <math>\Omega(f)(S)\equiv f^*(S)</math>

== References ==

*[[Cecilia-Flori]]: ''Topos-physics'', [http://topos-physics.org/]

An explanation of Topos theory and its implementation in Physics

[[category:Topos theory]]

[[Category:Objects (category theory)]]