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.

• Wikipedia
• Catalogue of Algebraic Systems
• On-Line Encyclopedia of Integer Sequences
• Eric Weisstein's World of Mathematics
• PlanetMath.org

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 semi-structured format.

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

Chapman University for providing time and resources, including the server that hosts this database.