The idea for this database goes back to an influential paper
[E. W. Kiss, L. Márki, P. Pröhle, W. Tholen,
Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity
, Studia Sci. Math. Hungar., 18, 1982, 79-140, 85k:18003]
This paper lists the status of 8 properties for 100 classes of
mathematical structures (the amalgamation property
, intersection property of amalgamations, epimorphisms are surjective
the congruence extension property
, existence of a cogenerating set, residual smallness
, enough absolute retracts,
and the existence of injective hulls), as well as some mathematical background
on these properties and their relationship to 3 others (strong amalgamation property
, transferability property, and enough injectives).
This has been a valuable resource for many researchers, and it would be useful to have an expanded and updated version. There are few people whose expertise ranges over so many areas, so hopefully the present editable database provides a convenient setting for several researchers to contribute in a collaborative style.
This database is not meant to duplicate information available via the
links above. It will link to these resources when appropriate, and
it aims to provide additional specialized information in a
Here is the text of a talk about the database, given at the Annual Meeting of the Association for Symbolic Logic, Chicago, June 1-4, 2003:
An online database of classes of algebraic structures
Many thanks to:
- Clifford Adams for making his UseModWiki script freely available, and to Ward Cunningham for creating the Wiki concept.
- Chapman University for providing time and resources, including the server that hosts this database.