Barr's embedding theorem for enriched categories (Q538061): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Serguei V. Solov'ev / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5899122 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
embedding theorem | |||
Property / zbMATH Keywords: embedding theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regular category | |||
Property / zbMATH Keywords: regular category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
category of presheaves | |||
Property / zbMATH Keywords: category of presheaves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
enriched category | |||
Property / zbMATH Keywords: enriched category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
well ordered | |||
Property / zbMATH Keywords: well ordered / rank | |||
Normal rank |
Revision as of 10:32, 1 July 2023
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