Enriched regular theories
From MaRDI portal
Publication:2301998
DOI10.1016/j.jpaa.2019.106268zbMath1470.18009arXiv1907.02301OpenAlexW2954181882WikidataQ126668379 ScholiaQ126668379MaRDI QIDQ2301998
Publication date: 25 February 2020
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.02301
Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Embedding theorems, universal categories (18B15) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (4)
Flat vs. filtered colimits in the enriched context ⋮ Accessible categories with a class of limits ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ A variety theorem for relational universal algebra
Cites Work
- Lex colimits
- Enriched weakness
- Barr's embedding theorem for enriched categories
- A theorem on Barr-exact categories, with an infinitary generalization
- Representation of categories
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Algebraic theories of quasivarieties
- Regular and exact completions
- Definable categories
- Structure sheaves of definable additive categories
- Exact categories and categories of sheaves
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- A reflection theorem for closed categories
- Definable additive categories: purity and model theory
- On closed categories of functors
- Aspects of topoi
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Enriched regular theories