Australian Category Seminar

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