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.