University of Cambridge > Talks.cam > Junior Category Theory Seminar > A gentle introduction to Categorical Logic

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

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

ℹ️ Information

A gentle introduction to Categorical Logic

Download to your calendar using vCal

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

How can we interpret sentences formulated in (fragments of) first order logic in a category? By taking the viewpoint that the objects of a category are some kind of sets, we derive means of formal interpertations by using the ideas of Tarskian Semantics. Exploiting this idea in more depth will lead us to the construction of syntactic categories, and asking about higher order logic leads to toposes, eventually.

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

Homerton College, Mary Allan Building, Bouling 8 & 9, Hills Road, Cambridge, CB2 8PQ The Believing Brain: Neuroscience of Belief panel discussion Average on weekdays: 8983.17366947 kWh

Other talks

Title to be confirmed How bubble acoustics can help in three apocalypses TBC CSAR lecture: In a post-Ozempic world, have we cured obesity? Title to be confirmed Title to be confirmed
 

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