Timeline for About cartesian closed categories of models of a cartesian theory
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 26, 2020 at 15:19 | answer | added | varkor | timeline score: 2 | |
| Feb 27, 2018 at 17:33 | history | edited | Buschi Sergio | CC BY-SA 3.0 |
added 5 characters in body
|
| Feb 27, 2018 at 17:32 | comment | added | Buschi Sergio | Arnaud, yes of course, right, I'll edit.. | |
| Feb 27, 2018 at 9:47 | comment | added | Arnaud D. | Maybe I'm just missing something obvious, but in the third paragraph, don't you need to add the object $[3]$ to your $T$ to ensure associativity? (And by the way, I think you meant that $Mod(T^{op})=\mathbf{Cat}$.) | |
| Feb 26, 2018 at 22:48 | comment | added | მამუკა ჯიბლაძე | I believe it is closed monoidal for a not necessary cartesian monoidal structure - like abelian groups, say. | |
| Feb 26, 2018 at 20:38 | history | edited | Peter Heinig | CC BY-SA 3.0 |
Purely grammatical and stylistic improvements. Content unchanged.
|
| Feb 26, 2018 at 19:59 | history | asked | Buschi Sergio | CC BY-SA 3.0 |