References & Citations
Mathematics > Category Theory
Title: Completeness for monads and theories
(Submitted on 1 Apr 2021 (v1), last revised 30 May 2021 (this version, v2))
Abstract: We generalize the correspondence between theories and monads with arities of arXiv:1101.3064 to $\infty$-categories. Additionally, we introduce the notion of complete theories that is unique to the $\infty$-categorical case and provide a completion construction for a certain class of theories. Along the way we also develop the necessary technical material related to the flagged bicategory of correspondences and lax functor in the $\infty$-categorical context.
Submission history
From: Roman Kositsyn [view email][v1] Thu, 1 Apr 2021 09:49:54 GMT (58kb)
[v2] Sun, 30 May 2021 01:02:23 GMT (62kb)
Link back to: arXiv, form interface, contact.