On generation and implicit partial operations in locally presentable categories (Q1272543)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On generation and implicit partial operations in locally presentable categories |
scientific article; zbMATH DE number 1234346
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On generation and implicit partial operations in locally presentable categories |
scientific article; zbMATH DE number 1234346 |
Statements
On generation and implicit partial operations in locally presentable categories (English)
0 references
31 May 1999
0 references
In categories of models of limit-theories (in effect, concrete locally presentable categories), the author describes the subobject, resp. strong (extremal) subobject, resp. regular subobject, generated by a set. There follow criteria for all monics (all epics) to be strong, for all strong monics to be coequalizers, and for all strong epics to be surjective.
0 references
set-generated subobjects
0 references
models of limit-theories
0 references
locally presentable categories
0 references
strong monics
0 references
strong epics
0 references
0.8054774403572083
0 references
0.7699328064918518
0 references
0.7559418082237244
0 references
