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.