« first day (1562 days earlier)      last day (1841 days later) » 

Qiaochu Yuan
Qiaochu Yuan
05:09
presumably the intended symmetric monoidal structure is the presentable tensor product, the one which is universal for maps cocontinuous in both arguments
 
16 hours later…
Jonathan Beardsley
Jonathan Beardsley
21:31
@OmarAntolín-Camarena god forbid we use descriptive language! ;)
 
2 hours later…
Jonathan Beardsley
Jonathan Beardsley
23:14
@ChrisR do you have a reference for this fact?
Omar Antolín-Camarena
Omar Antolín-Camarena
23:32
@JonathanBeardsley I like Keller's notes, see section 3.6.
Jonathan Beardsley
Jonathan Beardsley
23:44
@OmarAntolín-Camarena cool thanks!

« first day (1562 days earlier)      last day (1841 days later) »