12 citations · 13 across the 3 of their papers we have counts for
4 papers
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…
Data structures for quasistrict higher categories
Krzysztof Bar, Jamie Vicary
We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditio…
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
Krzysztof Bar, Jamie Vicary
This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a family of complementary me…
Groupoid Semantics for Thermal Computing
Krzysztof Bar, Jamie Vicary
A groupoid semantics is presented for systems with both logical and thermal degrees of freedom. We apply this to a syntactic model for encryption, and obtain an algebraic character…