Enriched regular theories

Stephen Lack, Giacomo Tendas*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    2 Citations (Scopus)

    Abstract

    Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain theory, in the sense of logic, whose models are the regular functors into Set. Barr further showed that each small and regular category can be embedded in a particular category of presheaves; then in 1990 Makkai gave a simple explicit characterization of the essential image of the embedding, in the case where the original regular category is moreover exact. More recently Prest and Rajani, in the additive context, and Kuber and Rosický, in the ordinary one, described a duality which connects an exact category with its (definable) category of models. Working over a suitable base for enrichment, we define an enriched notion of regularity and exactness, and prove a corresponding version of the theorems of Barr, of Makkai, and of Prest-Rajani/Kuber-Rosický.

    Original languageEnglish
    Article number106268
    Pages (from-to)1-29
    Number of pages29
    JournalJournal of Pure and Applied Algebra
    Volume224
    Issue number6
    DOIs
    Publication statusPublished - Jun 2020

    Fingerprint

    Dive into the research topics of 'Enriched regular theories'. Together they form a unique fingerprint.

    Cite this