75 citations · 544 across the 41 of their papers we have counts for
Showing 2023 · math.CTShow all
3 papers · 2 filters
math.CT2023★ 1 cited
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…
math.CT2023
A layout algorithm for higher-dimensional string diagrams
Calin Tataru, Jamie Vicary
The algebraic zigzag construction has recently been introduced as a combinatorial foundation for a higher dimensional notion of string diagram. For use in a proof assistant, a layo…
math.CT2023
A Syntax for Strictly Associative and Unital -Categories
Eric Finster, Alex Rice, Jamie Vicary
We present the first definition of strictly associative and unital -category. Our proposal takes the form of a type theory whose terms describe the operations of such struc…