• Corpus ID: 236034130

Double Glueing over Free Exponential: with Measure Theoretic Applications

  title={Double Glueing over Free Exponential: with Measure Theoretic Applications},
  author={Masahiro Hamano},
  • M. Hamano
  • Published 16 July 2021
  • Mathematics
  • ArXiv
This paper provides a compact method to lift the free exponential construction of Melliès-Tabareau-Tasson over the Hyland-Schalk double glueing for orthogonality categories. A condition ”reciprocity of orthogonality” is presented simply enough to lift the free exponential over the double glueing in terms of the orthogonality. Our general method applies to the monoidal category TsK of the s-finite transition kernels with countable biproducts. We show (i) TsK has the free exponential, which is… 


A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces
A stochastic construction of probabilistic coherent spaces by employing novel ingredients linear exponential comonads arising properly in the measure-theory and continuous orthogonality between measures and measurable functions.
An Explicit Formula for the Free Exponential Modality of Linear Logic
The exponential modality of linear logic associates to every formula A a commutative comonoid !A which can be duplicated in the course of reasoning. Here, we explain how to compute the free
A Categorical Approach to Probability Theory
This work shows that the category ID of D-posets of fuzzy sets and sequentially continuous D-homomorphisms allows to characterize the passage from classical to fuzzy events as the minimal generalization having nontrivial quantum character.
The Free Exponential Modality of Probabilistic Coherence Spaces
It is proved here that the exponential modality is the free commutative comonad, giving a further mark of canonicity to the model.
Category theory for linear logicians
This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model theory of linear logic. With this in mind, we focus on the basic
On Köthe sequence spaces and linear logic
  • T. Ehrhard
  • Mathematics
    Mathematical Structures in Computer Science
  • 2002
This work provides a simple setting in which typed λ-calculus and differential calculus can be combined and gives a few examples of computations.
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational
Linear Logic in Computer Science: Between Logic and Quantic: a Tract
A quantum interpretation of the perfect part of linear logic, by means of quantum coherent spaces, yields a novel interpretation ofThe reduction of the wave packet as the expression of η-conversion, a.k.a, extensionality.
The Category of Markov Kernels