Induction. Reimagined. Fibrationally

Neil Ghani (U Strathclyde)

Wednesday 17th March, 2010 16:00-17:00 204


We all know about induction. Prove the property for 0, prove the property for n+1 given a proof of the property for n. Conclude the property holds for every natural number. But can induction be given for other inductive structures? And can it be given for an axiomatic notion of property? I'll show the answer is yes.

Add to your calendar

Download event information as iCalendar file (only this event)