Computads for generalised signatures

DOI10.1016/J.JPAA.2024.107675MaRDI QIDQ6430365zbMATH OpenOpenAlexFDO

Authors Ioannis Markakis

Publication date 21 March 2023

Full work available at URL https://doi.org/10.1016/j.jpaa.2024.107675

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Strict omega-categories, computads, polygraphs (18N30) Homotopical algebra, Quillen model categories, derivators (18N40)

Abstract: We introduce a notion of signature whose sorts form a direct category, and study computads for such signatures. Algebras for such a signature are presheaves with an interpretation of every function symbol of the signature, and we describe how computads give rise to signatures. Generalising work of Batanin, we show that computads with certain generator-preserving morphisms form a presheaf category, and describe a forgetful functor from algebras to computads. Algebras free on a computad turn out to be the cofibrant objects for certain cofibrantly generated factorisation system, and the adjunction above induces the universal cofibrant replacement, in the sense of Garner, for this factorisation system. Finally, we conclude by explaining how many-sorted structures, weak $omega$-categories, and algebraic semi-simplicial Kan complexes are algebras of such signatures, and we propose a notion of weak multiple category.

Recommendations

• Computads for weak -categories as an inductive type
• scientific article; zbMATH DE number 1303765
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Algebraic weak factorisation systems. I: Accessible AWFS.

Cited in

(1)

• Computads for weak -categories as an inductive type

This page was built for publication: Computads for generalised signatures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6430365)