Barr's embedding theorem for enriched categories (Q538061): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 06:56, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Barr's embedding theorem for enriched categories |
scientific article |
Statements
Barr's embedding theorem for enriched categories (English)
0 references
23 May 2011
0 references
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.
0 references
embedding theorem
0 references
regular category
0 references
category of presheaves
0 references
enriched category
0 references
well ordered
0 references