Cover Image

CaTT contexts are finite computads

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Benjamin, Thibaut, Markakis, Ioannis, Sarti, Chiara
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science 18N65, 18N10, 18N30 F.4.1; I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

Computads for generalised signatures
by: Markakis, Ioannis
Published: (2023)

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

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

Generating Higher Identity Proofs in Homotopy Type Theory
by: Benjamin, Thibaut
Published: (2024)

Symmetric monoidal extensions and graph cobordisms between finite sets
by: Bianchi, Andrea
Published: (2025)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

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

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

Equivalences in diagrammatic sets
by: Chanavat, Clémence, et al.
Published: (2024)

A strengthened $(\infty, n)$-categorical pasting theorem
by: Chanavat, Clémence
Published: (2026)

Dinaturality for Double Categories
by: Morehouse, Edward
Published: (2026)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

Transposing cartesian and other structure in double categories
by: Patterson, Evan
Published: (2024)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

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

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

Categorical Ambidexterity
by: Ben-Moshe, Shay
Published: (2024)

$(\infty,n)$-Limits II: Comparison across models
by: Moser, Lyne, et al.
Published: (2024)

On orthogonal factorization systems and double categories
by: Juran, Branko
Published: (2025)

Model structures for diagrammatic $(\infty, n)$-categories
by: Chanavat, Clémence, et al.
Published: (2024)

$ω$-weak equivalences between weak $ω$-categories
by: Fujii, Soichiro, et al.
Published: (2024)

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

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

KZ-pseudomonads and Kan Injectivity
by: Di Liberti, Ivan, et al.
Published: (2022)

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

Free extensivity via distributivity
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Weakly invertible cells in a weak $ω$-category
by: Fujii, Soichiro, et al.
Published: (2023)

2-stacks over bisites
by: Caviglia, Elena
Published: (2024)

A note on Noetherian $(\infty, \infty)$-categories
by: Goldthorpe, Zach
Published: (2024)

$(\infty,n)$-Limits I: Definition and first consistency results
by: Moser, Lyne, et al.
Published: (2023)

Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)