20 citations · 45 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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…