Timeline for Adjoining a morphism to a finitely complete category
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 25, 2023 at 10:48 | comment | added | Ivan Di Liberti | Let me make a comment that I learned from Axel Osmond and is due (I think) to Coste. Lex is a special 2-category because for every lex category $C$, tensoring and powering with the arrow category actually coincide. This observation can be fruitful in transforming colimit-like-stuff into more limit-like-stuff. | |
| Aug 25, 2023 at 10:12 | history | edited | varkor | CC BY-SA 4.0 |
added 108 characters in body
|
| Aug 25, 2023 at 10:00 | history | asked | varkor | CC BY-SA 4.0 |