# Andrej Bauer: Cell types

Date: 22. 5. 2012

Source: Mathematics and theoretical computing seminar

Source: Mathematics and theoretical computing seminar

Torek, 22. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19

**Abstract:** cell types are a special kind of higher-inductive types which do not involve any recursion. They roughly correspond to gluing constructions a la CW complexes in ordinary topology. We shall look at their formalization in HoTT.

Vabljeni!