[
return to viewing 'topos'
]
| diff |
2007-01-20 23:22:35
- revision [
Version 8 --> Version 9
]
by
mps
Moved authority of "truth object" and "characteristic morphism" from this entry to subobject classifier.
Link "representable subobject functor" to "subobject classifier". |
|
| diff |
2007-01-20 14:05:58
- revision [
Version 5 --> Version 6
]
by
mps
| Grothendieck --> elementary (this is the only time this implications holds...) |
|
| diff |
2007-01-20 14:03:29
- revision [
Version 4 --> Version 5
]
by
mps
| Changes for correction #11281 ('an example not a definition'). |
|
| diff |
2007-01-20 14:01:25
- revision [
Version 3 --> Version 4
]
by
mps
| Expand. Remove ``being edited'' notice, even though there's more to do. |
|
| 
