I am a doctoral student at the Laboratoire Preuves, Programmes et Systèmes at Paris 7 University. My main areas of interest are higher category theory and semantics.

Contact

jonas.frey (aaat) pps.jussieu.fr

Some files

• My master thesis:
  A Universal Characterisation of the Tripos-to-Topos Construction
• Some slides on my master thesis that I presented at the "journée n-catégories, n-groupoïdes et logique" at July 24th, 2008 at PPS:
  A 2-dimensional Adjunction between Triposes and Toposes
• Slides of my introduction to topos theory in the PhD seminar of PPS and LIAFA:
  An Invitation to Toposes
• A note on two little studied classes of functors:
  On the 2-categorical duals of (full and) faithful functors