Cover Image

Single-set cubical categories and their formalisation with a proof assistant (extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Malbos, Philippe, Massacrier, Tanguy, Struth, Georg
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory 18N30, 68V15, 03B35, 68Q42
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

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)

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

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

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

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

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

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

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

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

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

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

Information vs Dimension -- an Algorithmic Perspective
by: Reimann, Jan
Published: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

A Complete Fragment of LTL(EB)
by: Ferrarotti, Flavio, et al.
Published: (2024)

Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)

Languages of Words of Low Automatic Complexity Are Hard to Compute
by: Chen, Joey, et al.
Published: (2025)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
by: Hertling, Peter, et al.
Published: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

Strongly finitary metric monads are too strong
by: Adamek, Jiri
Published: (2026)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
by: Nakano, Keisuke, et al.
Published: (2024)

Generating linear categories of partitions
by: Gromada, Daniel, et al.
Published: (2019)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

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)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

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

On the incomputability of computable dimension
by: Staiger, Ludwig
Published: (2019)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

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

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

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

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

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)