Cover Image

Composing Codensity Bisimulations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kori, Mayuko, Watanabe, Kazuki, Rot, Jurriaan, Katsumata, Shin-ya
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory 68Q85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a theory of natural directed paths
by: Gaucher, Philippe
Published: (2023)

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

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

Initial Algebra Correspondence under Reachability Conditions
by: Kori, Mayuko, et al.
Published: (2025)

Correspondences between codensity and coupling-based liftings, a practical approach
by: Humeau, Samuel, et al.
Published: (2024)

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

Natural homotopy of multipointed d-spaces
by: Gaucher, Philippe
Published: (2024)

Dependence and Independence for Reversible Process Calculi
by: Aubert, Clément, et al.
Published: (2024)

Place Bisimilarity is Decidable, Indeed!
by: Gorrieri, Roberto
Published: (2021)

Compositionality in Coalgebraic Trace Semantics
by: Jourde, Robin, et al.
Published: (2026)

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

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

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

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

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

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
by: D'Angelo, Keri, et al.
Published: (2025)

The Algebra of Nondeterministic Finite Automata
by: Gorrieri, Roberto
Published: (2023)

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

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
by: Di Liberti, Ivan
Published: (2019)

Intrinsically Correct Sorting in Cubical Agda
by: Alexandru, Cass, et al.
Published: (2024)

Behavioural Conformances based on Lax Couplings
by: Wild, Paul, et al.
Published: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
by: Kori, Mayuko, et al.
Published: (2026)

A No-go Theorem for Coalgebraic Product Construction
by: Kori, Mayuko, et al.
Published: (2025)

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

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

Tight complexity bounds for diagram commutativity verification
by: Malko, Artem, et al.
Published: (2025)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Reflexive graph lenses in univalent foundations
by: Sterling, Jonathan
Published: (2024)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

Oracle modalities
by: Swan, Andrew W
Published: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)