Barr's embedding in the enriched context
Giacomo Tendas – 6 March 2019
After recalling the definition of regular category in the ordinary Set-enriched case, we present two notions of regular enriched categories together with their version of Barr's embedding. The first is that of Chikhladze and appears in "Barr's embedding theorem for enriched categories", the second is a new more algebraic version.
Back