Timeline for Strictness of two operations on proarrow equipments
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18, 2022 at 17:40 | vote | accept | Max New | ||
| May 18, 2022 at 7:15 | answer | added | Mike Shulman | timeline score: 3 | |
| May 17, 2022 at 18:49 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
| May 17, 2022 at 17:51 | comment | added | Kevin Carlson | Not an answer, but it smells to me like doubly weak double categories are the pseudo-algebras for a 2-monad on some kind of 2-category of double graphs whose strict algebras are strict double categories, and then the general coherence result should probably apply (though it sometimes fails for strictifying algebras, this seems like a very nice case.) | |
| May 17, 2022 at 15:50 | history | asked | Max New | CC BY-SA 4.0 |