Here’s a specific example. For years I have been partial to the Grandis-Paré approach to higher category theory with cubical cells, rather than the globular approach.
in reply to: 1917872839564144738
same thread: 1917872069837984100 1917872839564144738 1917874971197755895 1917875048456626454 1917875503148474403 1917875602201411647 1917875764240023631 1917876442937139314 1918069953653268900 1918073218432147470
Reproduced against link rot, credited and linked to its original. Yours and you’d rather it weren’t here? Open an issue.