Timeline for Categorical nomenclature
Current License: CC BY-SA 3.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 2, 2012 at 5:48 | vote | accept | Pinying | ||
Nov 26, 2012 at 6:49 | answer | added | David Roberts♦ | timeline score: 3 | |
Nov 26, 2012 at 5:25 | answer | added | Chris Heunen | timeline score: 1 | |
Nov 26, 2012 at 5:06 | comment | added | Theo Johnson-Freyd | By "sub-collection", am I correct to understand that $\operatorname{Obj}(X_C) = \mathcal{P}(\operatorname{Mor}(C))$, where $\mathcal P$ denotes the "power set" operation? | |
Nov 26, 2012 at 2:42 | history | asked | Pinying | CC BY-SA 3.0 |