BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Cospans of finite sets - John Baez (University of Edinburgh\, U. C
 . Riverside)
DTSTART:20251031T140000Z
DTEND:20251031T150000Z
UID:TALK238045@talks.cam.ac.uk
CONTACT:Ioannis Markakis
DESCRIPTION:Cospans of finite sets are the morphisms in a bicategory\, not
  really a category\, because composition of cospans is associative only up
  to natural isomorphism. How can we characterize this bicategory abstractl
 y? There's a category of finite sets and isomorphism classes of cospans\, 
 and Steve Lack gave a beautiful characterization of this\, which I will ex
 plain. But what about the bicategory? I will state a guess that I haven't 
 proved.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR
