Image de couverture de livre

A type theory for invertibility in weak $ω$-categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Benjamin, Thibaut, Champin, Camil, Markakis, Ioannis
Format:	Preprint
Publié:	2026
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

Invertible cells in $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2024)

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

Delooping presented groups in homotopy type theory
par: Champin, Camil, et autres
Publié: (2024)

Hom $ω$-categories of a computad are free
par: Benjamin, Thibaut, et autres
Publié: (2024)

Monoidal weak omega-categories as models of a type theory
par: Benjamin, Thibaut
Publié: (2021)

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

Formalization of dependent type theory: The example of CaTT
par: Benjamin, Thibaut
Publié: (2021)

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

Computads for weak $ω$-categories as an inductive type
par: Dean, Christopher J., et autres
Publié: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

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

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

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

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Semantics of multimodal adjoint type theory
par: Shulman, Michael
Publié: (2023)

The internal languages of univalent categories
par: van der Weide, Niels
Publié: (2024)

Unbiasing symmetric monoidal categories in Lean
par: Carlier, Robin
Publié: (2026)

Hofmann-Streicher lifting of fibred categories
par: Slattery, Andrew, et autres
Publié: (2025)

Monoidal categories graded by partial commutative monoids
par: Earnshaw, Matthew, et autres
Publié: (2026)

CaTT contexts are finite computads
par: Benjamin, Thibaut, et autres
Publié: (2024)

Between Markov and restriction: Two more monads on categories for relations
par: Cioffo, Cipriano Junior, et autres
Publié: (2025)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
par: Vienney, Jean-Baptiste
Publié: (2023)

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

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
par: de Amorim, Pedro H. Azevedo, et autres
Publié: (2025)

Combining fixpoint and differentiation theory
par: Galal, Zeinab, et autres
Publié: (2024)

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

Tensorial structure of the lifting doctrine in constructive domain theory
par: Sterling, Jonathan
Publié: (2023)

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)

A monoidal category of dependently sorted algebraic theories I: syntax
par: Almeida, Daniel
Publié: (2025)

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

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Topologically valued transition structures
par: Collinson, Matthew
Publié: (2026)

Effectful Toposes and Their Lawvere-Tierney Topologies
par: Yamada, Rinta
Publié: (2026)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

Distributive Laws of Monadic Containers
par: Purdy, Chris, et autres
Publié: (2025)

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

Groupoidal Realizability for Intensional Type Theory
par: Speight, Sam
Publié: (2024)

Context, Judgement, Deduction
par: Coraglia, Greta, et autres
Publié: (2021)