:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Forest, Simon
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science 18C35 F.4.m
Online Access:	https://arxiv.org/abs/2411.05511
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)

Graded Differential Categories and Graded Differential Linear Logic
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2023)

An Analysis of Symmetry in Quantitative Semantics
by: Clairambault, Pierre, et al.
Published: (2024)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Effectful Mealy Machines
by: Bonchi, Filippo, et al.
Published: (2024)

From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)

Layered Monoidal Theories
by: Lobski, Leo
Published: (2025)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)

A taxonomy of categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
by: Hora, Ryuya
Published: (2025)

On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)

Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
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)

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

Disconnection Rules are Complete for Chemical Reactions
by: Gale, Ella, et al.
Published: (2024)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

EGGs are adhesive!
by: Biondo, Roberto, et al.
Published: (2025)

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

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

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

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Semantics of multimodal adjoint type theory
by: Shulman, Michael
Published: (2023)

CaTT contexts are finite computads
by: Benjamin, Thibaut, et al.
Published: (2024)

Generating Higher Identity Proofs in Homotopy Type Theory
by: Benjamin, Thibaut
Published: (2024)

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

Bundles of metric structures as left ultrafunctors
by: Hamad, Ali
Published: (2024)

Scott's Representation Theorem and the Univalent Karoubi Envelope
by: van der Leer, Arnoud, et al.
Published: (2025)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

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

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

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

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)