19 citations · 37 across the 20 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2023
A Syntax for Strictly Associative and Unital -Categories
Eric Finster, Alex Rice, Jamie Vicary
We present the first definition of strictly associative and unital -category. Our proposal takes the form of a type theory whose terms describe the operations of such struc…
math.CT2021
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…
math.CT2020
Coinductive Invertibility in Higher Categories
Alex Rice
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditi…