Jonas Frey

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

frey (aaat) pps.univ-paris-diderot.fr

Some documents

• Slides of my talk at the third week of LI2012:
  Multiform preorders and partial combinatory algebras
• The article to my talk at CT2010:
  A 2-dimensional analysis of the tripos-to-topos construction
• Slides of my talk at the SIC:
  Dc-categories and the tripos-to-topos construction
• Notes of my talk at the Groupe de travail Catégories supérieures, polygraphes et homotopie:
  Notes on 2-categorical limits
• Slides of my introduction to topos theory in the PhD seminar of PPS and LIAFA:
  An Invitation to Toposes