Post #1816216
2026-02-19 10:17 UTC
@jakub_et_al Thanks for the reference. Indeed this seems closely related. I guess it's not exactly the same, since in the topological setting you get for free that the homotopies witnessing equations are based. But that's an reasonable assumption to add also in the homotopical setting.
Replies (1)
-
@jakub_et_al@mathstodon.xyz 2026-02-19 10:28
@dwarn I was wondering whether your setting might be different, and whether that actually matters. I think there might be quite a low-level proof that should work always. I wanted to formalise some of these statements myself. Maybe a project for the summer.