Barr's embedding theorem for enriched categories (Q538061): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2049661301 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0903.1173 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact categories and categories of sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theorem on Barr-exact categories, with an infinitary generalization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Localisation of locally presentable categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3324132 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:50, 4 July 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