Timeline for Internalising the base in internal category theory
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 16, 2021 at 20:04 | vote | accept | Emily | ||
| Apr 16, 2021 at 10:17 | answer | added | Zhen Lin | timeline score: 9 | |
| Apr 15, 2021 at 23:38 | comment | added | Martin Brandenburg | @ZhenLin You post so many good comments, most of them already answer the question. It is kind of sad that you don't post them as answers. This leaves the questions looking "unanswered", even when they are answered. | |
| Apr 9, 2021 at 2:00 | comment | added | Alec Rhea | @ZhenLin I found your comment edifying, thank you; would you mind posting it as an answer to close out the question? | |
| Apr 8, 2021 at 22:51 | comment | added | Emily | @ZhenLin This is great; thanks! | |
| Apr 8, 2021 at 22:29 | comment | added | Zhen Lin | Yes and no. Think about the most fundamental category, $\textbf{Set}$: an internal category is a small category, and $\textbf{Set}$ is (usually) not even essentially small. But there is a notion of locally internal category and when you have a locally cartesian closed category it can be locally self-internalised. | |
| Apr 8, 2021 at 21:18 | history | asked | Emily | CC BY-SA 4.0 |