1. Locally Presentable and Accessible Categories;Adamek,1994
2. Algebraic Theories;Adamek,2011
3. Normed totally convex spaces;Börger;Commun. Algebra,1993
4. Sound and complete axiomatizations of coalgebraic language equivalence;Bonsangue;ACM Trans. Comput. Log.,2013
5. An Introduction to Convex Polytopes;Brøndsted,1983