Timeline for Slice category over Set
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2020 at 10:04 | comment | added | 141592653 | Thank you very much, you were very helpful | |
| Jun 19, 2020 at 8:15 | comment | added | Gerrit Begher | @141592653 for category related things it is always nice to check ncatlab.org/nlab/show/2-category - references are on the bottom of the page. | |
| Jun 18, 2020 at 20:07 | comment | added | varkor | I'm not sure what might be considered a canonical reference, but see for instance Section 1.7 of M-Completeness Is Seldom Monadic Over Graphs, which describes foundational issues regarding treating $\mathbf{CAT}$ as a category versus a 2-category. | |
| Jun 18, 2020 at 18:22 | vote | accept | 141592653 | ||
| Jun 18, 2020 at 18:19 | comment | added | 141592653 | Thanks for your answer, that's exactly what I was looking for. Do you have any references on $\bf CAT$ ? I was not able to find something about it. I looked into enriched categories to see that it is equivalent to $\bf Cat$ enriched with $\bf Set$. | |
| Jun 18, 2020 at 17:58 | history | edited | varkor | CC BY-SA 4.0 |
added 20 characters in body
|
| Jun 18, 2020 at 17:52 | history | answered | varkor | CC BY-SA 4.0 |