|
| | | | |
| | | |
| Stat |
Members: 3667
Articles: 2'599'751
Articles rated: 2609
16 February 2025 |
|
| | | | |
|
Article overview
| |
|
|
A characterisation of algebraic exactness | | Richard Garner
; | | Date: |
1 Sep 2011 | | Abstract: | An algebraically exact category in one that admits all of the limits and
colimits which every variety of algebras possesses and every forgetful functor
between varieties preserves, and which verifies the same interactions between
these limits and colimits as hold in any variety. Such categories were studied
by Ad’amek, Lawvere and Rosick’y: they characterised them as the categories
with small limits and sifted colimits for which the functor taking sifted
colimits is continuous. They conjectured that a complete and sifted-cocomplete
category should be algebraically exact just when it is Barr-exact, finite
limits commute with filtered colimits, regular epimorphisms are stable by small
products, and filtered colimits distribute over small products. We prove this
conjecture. | | Source: | arXiv, 1109.0106 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
|
| |
|
|
|
REGISTER