University of Cambridge > Talks.cam > Junior Category Theory Seminar > Models of Polymorphism

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Models of Polymorphism

Download to your calendar using vCal

If you have a question about this talk, please contact Sean Moss .

System F, or the second-order typed Îģ-calculus, is a version of type theory with polymorphic types. For example, there is a polymorphic type of lists in X, where X varies over all types. A fibration captures the notion of a category whose objects are families indexed by the objects of another and thus lends itself to a semantics for System F. In fact, there is a complete class of fibrational models for System F which arise from toposes considered as intuitionistic universes of sets.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

In-person for Cambridge University members only: JDB Teaching Room, Engineering Department Cambridge University Engineering Department, Lecture Room 6 (Trumpington Street) Lenard Cohen Theatre, Cancer Research UK, Li Ka Shing Centre, Robinson Way, CB2 0RE

Other talks

Sera Markoff Inaugural Lecture for the Plumian Professorship in Astronomy and Experimental Philosophy - 'Staring into the heart of darkness: from theory to the direct imaging of black holes' Directing Disturbance: Three Theatremakers in Discussion From Surrogate Solvers to PINNs and Beyond Classical Methods CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models Seminars in Cancer Afternoon Break
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity