Cover Image

Higher Catoids, Higher Quantales and their Correspondences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Calk, Cameron, Malbos, Philippe, Pous, Damien, Struth, Georg
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science 18A05, 18F75, 06F07, 18N30, 68Q42, 68V15
Online Access:	Acceder al recurso
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)

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

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

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, 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)

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

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
by: Martinez-Rivillas, Daniel O., et al.
Published: (2026)

A Functorial Formulation of Neighborhood Aggregating Deep Learning
by: Park, Sun Woo, et al.
Published: (2026)

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

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

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
by: Klouda, Karel, et al.
Published: (2021)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
by: Wang, Shuai
Published: (2024)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

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

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

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

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

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

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

Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Categorical Diffusion of Weighted Lattices
by: Ghrist, Robert, et al.
Published: (2025)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
by: Inoué, Takao
Published: (2026)

Involutive quantales and quantale-enriched involutive topological spaces
by: García, Javier Gutiérrez, et al.
Published: (2025)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

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

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

Categories of quantum cpos
by: Kornell, Andre, et al.
Published: (2024)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

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

Unified Geometric, Fuzzy, and Computational Framework for Ternary Gamma Semirings
by: Gokavarapu, Chandrasekhar, et al.
Published: (2025)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Rewriting Systems on Arbitrary Monoids
by: Magalhães, Eduardo
Published: (2026)

Sharp error bounds for approximate eigenvalues and singular values from subspace methods
by: Haas, Irina-Beatrice, et al.
Published: (2025)

Efficient Bounds and Estimates for Canonical Angles in Randomized Subspace Approximations
by: Dong, Yijun, et al.
Published: (2022)

Matrix perturbation analysis of methods for extracting singular values from approximate singular subspaces
by: Lazzarino, Lorenzo, et al.
Published: (2024)

Fractured Structures in Condensed Mathematics
by: Rasekh, Nima, et al.
Published: (2026)