Image de couverture de livre

A Syntax for Strictly Associative and Unital $\infty$-Categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Finster, Eric, Rice, Alex, Vicary, Jamie
Format:	Preprint
Publié:	2023
Sujets:	Category Theory Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Naturality for higher-dimensional path types
par: Benjamin, Thibaut, et autres
Publié: (2025)

A type-theoretic approach to semistrict higher categories
par: Rice, Alex
Publié: (2025)

Globular weak $ω$-categories as models of a type theory
par: Benjamin, Thibaut, et autres
Publié: (2021)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
par: Corbyn, Nathan, et autres
Publié: (2024)

Strict universes for Grothendieck topoi
par: Gratzer, Daniel, et autres
Publié: (2022)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)

Linear Arboreal Categories
par: Abramsky, Samson, et autres
Publié: (2023)

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

The $\infty$-category of $\infty$-categories in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Homotopy type theory as a language for diagrams of $\infty$-logoses
par: Uemura, Taichi
Publié: (2022)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
par: Fiore, Marcelo, et autres
Publié: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Strict Rezk completions of models of HoTT and homotopy canonicity
par: Bocquet, Rafaël
Publié: (2023)

Univalent Double Categories
par: van der Weide, Niels, et autres
Publié: (2023)

Classical Distributive Restriction Categories
par: Cockett, Robin, et autres
Publié: (2023)

Elgot Categories and Abacus Programs
par: Nester, Chad
Publié: (2025)

Coinductive Streams in Monoidal Categories
par: Di Lavore, Elena, et autres
Publié: (2022)

The Category of Operator Spaces and Complete Contractions
par: Lindenhovius, Bert, et autres
Publié: (2024)

Promonads and String Diagrams for Effectful Categories
par: Román, Mario
Publié: (2022)

Synthetic 1-Categories in Directed Type Theory
par: Altenkirch, Thorsten, et autres
Publié: (2024)

Univalent Enriched Categories and the Enriched Rezk Completion
par: van der Weide, Niels
Publié: (2024)

String Diagrams for Closed Symmetric Monoidal Categories
par: Reader, Callum, et autres
Publié: (2025)

Evidential Decision Theory via Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2023)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
par: Castelnovo, Davide, et autres
Publié: (2024)

Proceedings Eighth International Conference on Applied Category Theory
par: Hadzihasanovic, Amar, et autres
Publié: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
par: Milosavljevic, Aleksandar, et autres
Publié: (2022)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
par: Barile, Adriano, et autres
Publié: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
par: Benjamin, Thibaut, et autres
Publié: (2025)

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

A BV-Category of Spacetime Interventions
par: Hefford, James, et autres
Publié: (2025)

Manifold Diagrams for Higher Categories
par: Heidemann, Lukas
Publié: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

A categorical formulation of Kraus' paradox
par: Swan, Andrew W.
Publié: (2024)

Notes on Category Theory with examples from basic mathematics
par: Perrone, Paolo
Publié: (2019)

Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)