Australian Category Seminar

A new and improved embedding theorem for tangent categories

Richard Garnerยท18 October 2017

In my talk of 8th July 2015 I showed that any small tangent category admits a full embedding into a representable tangent category. In this talk, I will show that any small tangent category admits a full embedding into the infinitesimally and vertically linear objects of a presheaf topos containing a rig of line type.

Back