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