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.