Search
Search Results
-
Varieties of ordered algebras as categories
A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category...
-
Presenting Quotient Locales
It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories...
-
A Colimit Decomposition for Homotopy Algebras in Cat
Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In...
-
A 2-Categories Companion
This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit,...