Timeline for What is the analogue for the category of presheafs for complement toposes?
Current License: CC BY-SA 3.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 30, 2013 at 0:34 | comment | added | Todd Trimble | I've only just glanced at the paper, but saw and also found very strange this definition of "complement classifier", since it differs not at all from the definition of subobject classifier, save for the fact that the morphism most people name "true" is what he renames as "false". | |
Jun 29, 2013 at 22:57 | history | edited | Michal R. Przybylek | CC BY-SA 3.0 |
ps added
|
Jun 29, 2013 at 22:51 | history | answered | Michal R. Przybylek | CC BY-SA 3.0 |