Colloquium Schedule         Guidelines         Directions        

Colloquium
Thursday, February 20, 2014


Remarks on the Tripos to Topos Construction

Fabio Pasquali (UU)


Abstract: One of the most relevant construction one meets in dealing with the theory of triposes is the procedure of building an elementary topos out of a given tripos, namely the "tripos to topos Construction (TTC)". In this seminar I will discuss the role of extensionality, comprehension, quotients and functional relations in TTC.

<<< previous talk
next talk >>>



Location :  Room 611 of the Hans Freudenthal building, formerly known as the Wiskunde/Maths building, (campus De Uithof) Budapestlaan 6, Utrecht.
Date and time : Thursday, February 20, 2014 15:30-16:30. The lecture is preceded by coffee, tea, and cookies from 15.00 to 15.30 hour in the same room.