75 citations · 544 across the 41 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 12 cited
Globular: an online proof assistant for higher-dimensional rewriting
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool produces graphical visu…
cs.LO2016★ 10 cited
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Lawrence Dunn, Jamie Vicary
We prove coherence theorems for Frobenius pseudomonoids and snakeorators in monoidal bicategories. As a consequence we obtain a 3d notation for proofs in nonsymmetric multiplicativ…