Posetal Diagrams for Logically-Structured Semistrict Higher Categories

Chiara Sarti, Jamie Vicary

We now have a wide range of proof assistants available for compositional reasoning in monoidal or higher categories which are free on some generating signature. However, none of th…