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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

Other lists

Kettle's Yard Lunchtime Talks Hughes Hall Hats Off Club Seminars Techfugees Cambridge Climate and Sustainable Development Finance for Industrial Sustainability in Developing Countries Health and Welfare Research Group Travel and Expeditions

Other talks

'Walking through Language – Building Memory Palaces in Virtual Reality' Giant response of weakly driven systems New micro-machines, new materials Challenges to monetary policy in a global context Universality in Active Matter Protean geographies: Plants, politics and postcolonialism in South Africa “Modulating Tregs in Cancer and Autoimmunity” Refugees and Migration Thermodynamics de-mystified? /Thermodynamics without Ansätze? Mathematical applications of little string theory The Partition of India and Migration Art speak
 

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