Cover Image

Computads for generalised signatures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Markakis, Ioannis
Format:	Preprint
Published:	2023
Subjects:	Category Theory 18N30 (Primary) 18C15, 18N40 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An elementary definition of opetopic sets
by: Uemura, Taichi
Published: (2025)

Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)

Computads and string diagrams for $n$-sesquicategories
by: Araújo, Manuel
Published: (2022)

Involutive Weak Cubical $ω$-categories
by: Bejrakarbum, Paratat, et al.
Published: (2025)

Involutive Weak Globular $ω$-categories
by: Bejrakarbum, Paratat, et al.
Published: (2023)

Deformation Theory for $(\infty,n)$-categories
by: Kositsyn, Roman
Published: (2025)

Kan extensions are partial colimits
by: Perrone, Paolo, et al.
Published: (2021)

Groupoidal and truncated $n$-quasi-categories
by: Brittes, Victor
Published: (2024)

Ultracategories via Kan extensions of relative monads
by: Tarantino, Umberto, et al.
Published: (2025)

An Enriched Approach to the Strictification of $(\infty,1)$-Categories
by: Strong, Kimball
Published: (2025)

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)

Hom $ω$-categories of a computad are free
by: Benjamin, Thibaut, et al.
Published: (2024)

Colimits of internal categories
by: Hughes, Calum, et al.
Published: (2025)

A 3-categorical perspective on G-crossed braided categories
by: Jones, Corey, et al.
Published: (2020)

$ω$-equifibrations between strict and weak $ω$-categories
by: Fujii, Soichiro, et al.
Published: (2025)

Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)

Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)

Double Orthogonal Factorization Systems
by: Aberlé, C. B., et al.
Published: (2025)

Manifestly unitary higher Hilbert spaces
by: Chen, Quan, et al.
Published: (2024)

Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)

Homotopy theory of stricter $n$-categories
by: Chanavat, Clémence
Published: (2025)

A model for the coherent walking $ω$-equivalence
by: Hadzihasanovic, Amar, et al.
Published: (2024)

A recognition criterion for lax-idempotent pseudomonads
by: Bourke, John
Published: (2025)

A 2-dimensional torsion theory on symmetric monoidal categories
by: Messora, Mariano
Published: (2025)

Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)

Derivations as Algebras
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2026)

Parametric Distributive Laws: uniform monad composition
by: Perticone, Lorenzo
Published: (2025)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Nerves of enriched categories via necklaces
by: Mertens, Arne
Published: (2024)

Presentations of pseudodistributive laws
by: Walker, Charles
Published: (2021)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods
by: Getzler, Ezra
Published: (2024)

Combinatorial model categories are equivalent to presentable quasicategories
by: Pavlov, Dmitri
Published: (2021)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Rigidification of connective comodules
by: Péroux, Maximilien
Published: (2020)

Ultracategories as colax algebras for a pseudo-monad on CAT
by: Hamad, Ali
Published: (2025)

The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)

Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
by: Xu, Hao
Published: (2026)

CaTT contexts are finite computads
by: Benjamin, Thibaut, et al.
Published: (2024)