20 citations · 45 across the 8 of their papers we have counts for
8 papers
The theory and applications of anticolimits
Calin Tataru, Jamie Vicary
Colimits are a fundamental construction in category theory. They provide a way to construct new objects by gluing together existing objects that are related in some way. We introdu…
On Structures in Arrow Categories
Paulina L. A. Goedicke, Jamie Vicary
In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two cate…
Traced Monoidal Categories as Algebraic Structures in Prof
Nick Hu, Jamie Vicary
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categorie…
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Lawrence Dunn, Jamie Vicary
We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrica…
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…
Extended 3-dimensional bordism as the theory of modular objects
Bruce Bartlett, Christopher L. Douglas, Christopher J. Schommer-Pries +1
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twis…