Timeline for Category and the axiom of choice
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 2, 2013 at 10:09 | vote | accept | CommunityBot | ||
| Jan 22, 2013 at 17:50 | comment | added | Zhen Lin | @Tom Yes, indeed. It is something that is simultaneously a groupoid and a preorder. | |
| Jan 22, 2013 at 17:36 | comment | added | Tom Leinster | Ah, maybe I can guess: an equivalence relation, viewed as a groupoid? | |
| Jan 22, 2013 at 17:18 | comment | added | Tom Leinster | Nice answer, but what is a "setoid"? | |
| Jan 22, 2013 at 9:38 | comment | added | Zhen Lin | It is standard terminology when working in choice-free settings, such as when dealing with internal categories in, say, $\textbf{Top}$. It also happens to be the weak equivalences in the folk model structure on the category of categories. | |
| Jan 22, 2013 at 9:16 | comment | added | Martin Brandenburg | Is "weak equivalence" a standard terminology? I bet that topologists use this as "induces a weak equivalence on classifying spaces". | |
| Jan 21, 2013 at 11:58 | comment | added | Andrej Bauer | Amazing, how similar our two answers are in spirit. | |
| Jan 21, 2013 at 11:22 | history | answered | Zhen Lin | CC BY-SA 3.0 |