Universal algebra in a closed category

Francis Borceux*, Brian Day

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    12 Citations (Scopus)

    Abstract

    The development of finitary universal algebra is carried out in a suitable closed category called a π-category. The π-categories are characterized by their completeness and cocompleteness and some product-colimit commutativities. We establish the existence of left adjoints to algebraic functors, completeness and cocompleteness of algebraic categories, a structure-semantics adjunction, a characterization theory for algebraic categories and the existence of the theory generated by a presentation. The conditions on the closed category are sufficiently weak to be satisfied by any (complete and cocomplete) cartesian closed category, semi-additive category, commutatively algebraic category and also the categories of semi-normed spaces, normed spaces and Banach spaces.

    Original languageEnglish
    Pages (from-to)133-147
    Number of pages15
    JournalJournal of Pure and Applied Algebra
    Volume16
    Issue number2
    DOIs
    Publication statusPublished - 1980

    Fingerprint

    Dive into the research topics of 'Universal algebra in a closed category'. Together they form a unique fingerprint.

    Cite this