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

A gentle introduction to Categorical Logic

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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