BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Peter Hines (University of York)
DTSTART:20200603T103000Z
DTEND:20200603T113000Z
DTSTAMP:20260423T011101Z
UID:YSseminar/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/YSseminar/4/
 ">Elementary arithmetic as inverse semigroup theory</a>\nby Peter Hines (U
 niversity of York) as part of York semigroup seminar\n\n\nAbstract\nThis t
 alk considers some very elementary arithmetic operations from the viewpoin
 t of inverse semigroup theory\, category theory\, and the theory of Cantor
  spaces. It starts by deriving monotone partial injections -- hence invers
 e semigroups -- from basic arithmetic operations\, and goes on to interpre
 t these as simple examples of well-known categorical properties and struct
 ures. This leads in a natural way to several very well-known inverse monoi
 ds\, and strict generalisations of these.  These generalisations have a cl
 ose connection to elementary number-theory\, computability\, and formal un
 decidability.\n
LOCATION:https://researchseminars.org/talk/YSseminar/4/
END:VEVENT
END:VCALENDAR