Title	Differentiation in probabilistic coherence spaces
Creator	Ehrhard, Thomas
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2021-06-15T09:00
Description	Probabilistic coherence spaces are a model of classical linear logic but not a model of differential linear logic. Nevertheless differentiation is a perfectly meaningful operation in this model. I will explain its meaning, some of its properties and present a tentative categorical axiomatization of this operation.
Extent	39.0 minutes
Subject	Mathematics; Category Theory; Homological Algebra; Algebraic Topology; Algebraic Structures
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: CNRS and Université de Paris
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2023-10-29
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0437407
URI	http://hdl.handle.net/2429/86383
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos