Timeline for Why are Regular Categories assumed to be finitely complete?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2018 at 0:44 | comment | added | David Roberts♦ | @Tyler Mike said it better in his answer. | |
| Feb 12, 2018 at 22:48 | vote | accept | Tyler Bryson | ||
| Feb 12, 2018 at 22:17 | answer | added | Mike Shulman | timeline score: 6 | |
| Feb 12, 2018 at 20:47 | comment | added | Tyler Bryson | David: could you elaborate? | |
| Feb 12, 2018 at 20:38 | comment | added | Maxime Ramzi | Perhaps one wants equalizers and products (finite ones) and so we might as well require all finite limits, since their existence follows from those ? | |
| Feb 12, 2018 at 20:35 | comment | added | David Roberts♦ | Possibly the link to the logic of the internal language suggests one might want a terminal object. | |
| Feb 12, 2018 at 19:54 | history | asked | Tyler Bryson | CC BY-SA 3.0 |