75 citations · 544 across the 41 of their papers we have counts for
5 papers · 1 filter
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…
A Type Theory for Strictly Associative Infinity Categories
Eric Finster, Alex Rice, Jamie Vicary
Many definitions of weak and strict -categories have been proposed. In this paper we present a definition for -categories with strict associators, but which is othe…
Traced monoidal categories as algebraic structures in
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…
The Word Problem for Braided Monoidal Categories is Unknot-Hard
Antonin Delpeuch, Jamie Vicary
We show that the word problem for braided monoidal categories is at least as hard as the unknotting problem. As a corollary, so is the word problem for Gray categories. We conjectu…
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
David I. Spivak, Jamie Vicary
The third annual International Applied Category Theory Conference (ACT2020) was planned to take place at MIT in Cambridge, Massachusetts USA. However, the global COVID-19 pandemic…