Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein:
Prof. Neil Ghani, University of Strathclyde, Department of Computer and Information Sciences, Glasgow, Scotland:
From Initial Algebras to Fibred Initial Algebras
Beginn: 06.12.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. Obergeschoss, Raum 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-12-06-ghani.html Kontakt: Prof. Dr. Jirí Adámek
We all learned about induction for proving properties of natural numbers at school. But what about other data types such as lists - do they have induction principles? And what exactly are properties and can we use induction for different notions of properties. Finally, if we work in categories other than the category of Sets, do we still have induction principles?
In this talk I'll show that, indeed, we can have induction principles parameterised by the category we work in, the data type we are interested in and the notion of property under consideration. These results arise from a very beautiful picture of induction if one will willing to consider the topic within a fibrational setting.