MathDB1 problem
- 0 votes0 replies0 views
Adámek–Lawvere–Rosický conjecture on algebraic exactness
Adámek–Lawvere–Rosický conjecture. A complete and sifted-cocomplete category should be algebraically exact if and only if it is Barr-exact, finite limits commute with filtered coli…