University of Cambridge > Talks.cam > Category Theory Seminar > Lawvere Theories for Nominal Equational Logic

  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

Lawvere Theories for Nominal Equational Logic

Download to your calendar using vCal

If you have a question about this talk, please contact Richard Garner .

Lawvere Theories are a categorical formulation of equational logic, identifying equational theories with categories equipped with finite products. This talk, based on work with Andrew Pitts, will look at an analogous formulation for Nominal Equational Logic. This is a logic of equations modulo side conditions concerning the freshness of names, an important concept in computer science. If categories need to have finite products to stand in for theories of equational logic, what extra structure is needed for Nominal Equational Logic?

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Computer Lab, FW11 and Online (zoom link will appear shortly before the talk) Seminar Room B, 17 Mill Lane, Cambridge CB2 1RX Johnson Matthey Lecture Theatre, Department of Chemical Engineering & Biotechnology, Philippa Fawcett Drive, Cambridge CB3 0AS

Other talks

Wolfson Tool Factory Theophilus Richmond’s The First Crossing: The Transition from Slavery to Indentureship in the Caribbean and the Case of the Black Slave on the Hesperus Director's Welcome Group Work Title to be confirmed Title to be confirmed
 

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