BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Richard Blute
DTSTART:20260618T170000Z
DTEND:20260618T180000Z
DTSTAMP:20260604T125517Z
UID:ToposInstituteColloquium/218
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/ToposInstitu
 teColloquium/218/">Quantum Finiteness Spaces</a>\nby Richard Blute as part
  of Topos Institute Colloquium\n\nInteractive livestream: https://topos-in
 stitute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09\nPasswo
 rd hint: 65537\n\nAbstract\nAuthors: Richard Blute\, Robin Cockett\, Durge
 sh Kumar\, J.S. Lemay\n\nA result of Coecke\, Pavlovic and Vicary states t
 hat a basis for a finite-dimensional Hilbert space can be equivalently cha
 racterised as a commutative dagger-Frobenius monoid in the category of fin
 ite-dimensional Hilbert spaces. This can be extended to an equivalence bet
 ween such Frobenius algebras and the category of finite sets. \n\nWe descr
 ibe an ongoing project to attempt to extend this result beyond finite sets
 . This\nrequires on the one hand replacing the category of sets with the c
 ategory of Ehrhard’s\nfiniteness spaces\, one of the motivating examples
  for the theory of differential linear logic. On\nthe other hand\, Frobeni
 us algebras must be replaced by linear monoids as defined by Priyaa\nSrivi
 nvasan.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/218/
URL:https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhT
 dGhvZ3pUdz09
END:VEVENT
END:VCALENDAR