We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:

Search Results

Showing 1-4 of 4 results
  1. 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...

    Jiří Adámek, Jiří Rosický in Algebra universalis
    Article 24 February 2023
  2. 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...

    Graham Manuell in Applied Categorical Structures
    Article Open access 21 July 2023
  3. 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...

    Article 21 September 2012
  4. 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,...
    Stephen Lack in Towards Higher Categories
    Chapter 2010
Did you find what you were looking for? Share feedback.