CatGloss

CatGloss is a category-theoretic version of MathGloss, which can be found here.

Click here to go to the database!

This site is open source. Improve this page.