FOM: Deep theorem in category theory
till at Informatik.Uni-Bremen.DE
Wed May 5 05:43:05 EDT 1999
Steve Simpson (Sun May 2 22:08:40 1999) asked for a deep theorem
in category theory.
I want to mention the following correspondence theorems
equationally defined classes of algebras - monads
implicationally defined classes of algebras - algebraic categories
implicationally defined classes of partial algebras - essentially algebraic categories
Moreover, implicationally defined subcategories can be related
to epi-reflective subcategories and the existence of adjoints
in a very general setting, applicable to algebras, partial algebras,
compact Hausdorff spaces and other categories.
More information about the FOM