Timeline for Intuitionistic algebraic topology?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2013 at 22:54 | comment | added | David Roberts♦ | " it is impossible to prove that a functor is an equivalence of categories if and only if it is full faithful and essentially surjective " - hence anafunctors :-) | |
| Nov 5, 2013 at 19:40 | history | edited | Philippe Gaucher | CC BY-SA 3.0 |
added 353 characters in body
|
| Nov 5, 2013 at 19:35 | history | answered | Philippe Gaucher | CC BY-SA 3.0 |