:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Malbos, Philippe, Massacrier, Tanguy, Struth, Georg
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Category Theory 03B35, 68Q42, 18N30
Online Access:	https://arxiv.org/abs/2511.16852
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

Higher Catoids, Higher Quantales and their Correspondences
by: Calk, Cameron, et al.
Published: (2023)

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

Polygraphic resolutions for operated algebras
by: Liu, Zuan, et al.
Published: (2025)

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

Interacting Monoidal Structures with Applications in Computing
by: Cranch, James, et al.
Published: (2024)

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

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

Formalizing colimits in Cat
by: Carneiro, Mario, et al.
Published: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Term rewriting on nestohedra
by: Curien, Pierre-Louis, et al.
Published: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Presheaf automata
by: Struth, Georg, et al.
Published: (2024)

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

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

Compositionality of Lyapunov functions via assume-guarantee reasoning
by: Capucci, Matteo, et al.
Published: (2026)

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)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Odd Khovanov homology, higher representation theory and higher rewriting theory
by: Schelstraete, Léo
Published: (2024)

Rewriting modulo in diagrammatic algebras and application to categorification
by: Schelstraete, Léo
Published: (2025)

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

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

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

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Implicit automata in λ-calculi III: affine planar string-to-string functions
by: Pradic, Cécilia, et al.
Published: (2024)

Construction and Properties of the Ground State of Natural Phenomena
by: Gauthier, Renaud
Published: (2025)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)