We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Familial Monads as Higher Category Theories

Abstract: Categories, $n$-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any higher category structure which arises as algebras for a familially representable monad on a presheaf category, then use this to describe various examples relating to higher category theory and cubical sets. The proof of this characterization avoids tedious naturality arguments by passing through the theory of categorical polynomials.
Comments: 38 pages
Subjects: Category Theory (math.CT)
Cite as: arXiv:2111.14796 [math.CT]
  (or arXiv:2111.14796v1 [math.CT] for this version)

Submission history

From: Brandon Shapiro [view email]
[v1] Mon, 29 Nov 2021 18:49:42 GMT (44kb)

Link back to: arXiv, form interface, contact.