Barr's embedding theorem for enriched categories (Q538061): Difference between revisions

The aim of the paper is to generalize the theorem that a small regular category can be embedded into a category of small presheaves [\textit{M. Barr}, Lect. Notes Math. 236, 1--120 (1971; Zbl 0223.18010)] to the case of category enriched in a monoidal category. The paper proposes detailed proofs with main references to [ibid., J. Pure Appl. Algebra 41, 113--137 (1986; Zbl 0606.18004)] and \textit{B. Day} and \textit{R. Street} [J. Pure Appl. Algebra 58, No. 3, 227--233 (1989; Zbl 0677.18009)]. The author specifically recognizes the influence of \textit{M. Barr} [ibid, 41, 113--137 (1986; Zbl 0606.18004)] and mentions his correspondence with him and the necessity to fix some inaccuracies (the fixes were outlined by M. Barr). For those interested, it should be mentioned that some proofs in the present paper use powerful set-theoretical principles, such as the existence of well ordering on the set of all regular monos.