BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/165
DTSTAMP:20230914T125913Z
SUMMARY:Topoalgebra
DESCRIPTION:Speaker: Vaughan Pratt\nStanford University\nComputer Science D
 epartment\n2215 Old Page Mill Road\nPalo Alto\, CA 94304\n\nAbstract: \n20
 th century logic has founded mathematics on the binary relation of set mem
 bership\, formalized with the axioms of Zermelo and Fraenkel.  At mid-cent
 ury algebra reacted by proposing instead to found mathematics on the assoc
 iative binary operation of function composition\, formalized as category t
 heory.  But category theory then fell into the trap of making categories t
 hemselves algebraic by introducing functors and natural transformations\, 
 which led to 2-categories and thence to n-categories and omega-categories.
   In this talk we avoid this trap while simultaneously accounting for the 
 compatibility of topology and algebra in terms of the arbitrarily selected
  free and co-free objects of any category whatsoever. Applications include
  the topoalgebraic specification of the notion of an acyclic graph\, an ex
 tensional conception of the concept of property or attribute\, and a demon
 stration that C.I. Lewis's 1927 quasi-psychological notion of qualia is at
  least mathematically consistent.\n
URL:https://www.tcs.tifr.res.in/web/events/165
DTSTART;VALUE=DATE:20110215
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR