Lex colimits (Q456823): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The paper develops a theory of finitely complete categories with colimits of special type and of ``exactness conditions'' relating finite limits and specified colimits. The notion can be understood as a form of cocompleteness in the \(2\)-category of finitely complete catgories and finite-limit-preserving functors. The notion generalizes finitely presentable categories, regular categories, Barr-exact categories, lextensive categories, coherent categories and adhesive categories. These examples are particular instances of a given general notion. An embedding of these small categories into small-exact categories is described. Finally, a relative completion in general theory is given. | |||
Property / review text: The paper develops a theory of finitely complete categories with colimits of special type and of ``exactness conditions'' relating finite limits and specified colimits. The notion can be understood as a form of cocompleteness in the \(2\)-category of finitely complete catgories and finite-limit-preserving functors. The notion generalizes finitely presentable categories, regular categories, Barr-exact categories, lextensive categories, coherent categories and adhesive categories. These examples are particular instances of a given general notion. An embedding of these small categories into small-exact categories is described. Finally, a relative completion in general theory is given. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Václav Koubek / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094125 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finitely complete category | |||
Property / zbMATH Keywords: finitely complete category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite-limit-preserving functor | |||
Property / zbMATH Keywords: finite-limit-preserving functor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topoi | |||
Property / zbMATH Keywords: topoi / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exact category | |||
Property / zbMATH Keywords: exact category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
specified cocompleteness | |||
Property / zbMATH Keywords: specified cocompleteness / rank | |||
Normal rank |
Revision as of 12:49, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lex colimits |
scientific article |
Statements
Lex colimits (English)
0 references
16 October 2012
0 references
The paper develops a theory of finitely complete categories with colimits of special type and of ``exactness conditions'' relating finite limits and specified colimits. The notion can be understood as a form of cocompleteness in the \(2\)-category of finitely complete catgories and finite-limit-preserving functors. The notion generalizes finitely presentable categories, regular categories, Barr-exact categories, lextensive categories, coherent categories and adhesive categories. These examples are particular instances of a given general notion. An embedding of these small categories into small-exact categories is described. Finally, a relative completion in general theory is given.
0 references
finitely complete category
0 references
finite-limit-preserving functor
0 references
topoi
0 references
exact category
0 references
specified cocompleteness
0 references