Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Fix a logic $L$ and consider the category $\mathbf{AlgTh}_L$ with theories of $L$ as objects and theory interpretations as morphisms. For nice enough logics, this category has pushouts (which we will assume is the case).

Question: how large a 'graph' has been actually built using this (old) idea? There are plenty of flat lists of objects of such a category, for example Wikipedia has two: algebraic structure and list of algebraic structures (with lots of overlap as well as being non-trivially different), Jipsen has a list (not all of which are properly defined) and a graph with 48 entries. One can find other partial graphs too: page 136-141 of the CASL reference manual or the specialized-for-groups graph of Coq Theories required to prove the Feit-Thompson theorem. There are even similar lists for (modal) logics. But I have yet to find a decent (categorical) graphs. Has it not been done?

[I am interested in this because I am building such a graph, and I don't want to waste my time inventing things that have already been done. Also, I want to be as complete as I can.]

share|improve this question
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.