75 citations · 544 across the 41 of their papers we have counts for
4 papers · 1 filter
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…
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…
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
Pieter W. Claeys, Austen Lamacraft, Jamie Vicary
Dual-unitary brickwork circuits are an exactly-solvable model for many-body chaotic quantum systems, based on 2-site gates which are unitary in both the time and space directions.…
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…