Timeline for Are equivalences of categories stable under filtered colimits?
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 7, 2021 at 16:06 | comment | added | john | Hi Chris. I suspect that the category of monoidal categories and lax monoidal functors does not have split idempotents (and so would lack filtered colims.) | |
Jan 6, 2021 at 10:58 | comment | added | Chris Heunen | That's great info, thanks John! Would this reduction to Cat work with lax monoidal functors too? | |
Jan 5, 2021 at 21:22 | history | answered | john | CC BY-SA 4.0 |