[Alta-Logic] Peripatetic seminar

[Matthew Burke]

Speaker: Benjamin Macadam

Date and time: Tuesday, April 16th, 2019 at 12:15

Location: MS 337

Title: Bertram’s Lie Calculus

Abstract: We will consider Bertram’s Lie Calculus, which develops the foundations of differential calculus and Lie theory concurrently. In particular, we shall consider his presentation of Connes’ Tangent Groupoid on the category of smooth manifolds and consider how this could relate to a categorical semantics for identity types.

http://peripatetic-seminar.cpsc.ucalgary.ca/wp/