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.
