Syntactic characterizations of various classes of locally presentable categories

DOI10.1016/S0022-4049(01)00016-0zbMath0982.18006OpenAlexW1968613316WikidataQ127939605 ScholiaQ127939605MaRDI QIDQ5939609

Aurelio Carboni, Jiří Rosický, M. Cristina Pedicchio

Publication date: 25 March 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(01)00016-0

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Equational categories (18C05) Unary algebras (08A60)

Related Items (10)

Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ An embedding theorem for regular Mal'tsev categories ⋮ On stability of exactness properties under the pro-completion ⋮ When do completion processes give rise to extensive categories? ⋮ On algebraically exact categories and essential localizations of varieties ⋮ On linear exactness properties ⋮ Positive rigs ⋮ Coextensive varieties via central elements ⋮ Embedding theorems for Janelidze's matrix conditions ⋮ A simple characterization of theories of varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories of Boolean sheaves of simple algebras
• When is a variety a topos ?
• Strong conceptual completeness for first-order logic
• Introduction to extensive and distributive categories
• Algebraic theories of quasivarieties
• Left exact presheaves on a small pretopos
• Regular and exact completions
• Localizations of varieties and quasivarieties
• A simple characterization of theories of varieties
• The symmetric topos
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Introduction to distributive categories
• Connected limits, familial representability and Artin glueing
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Syntactic characterizations of various classes of locally presentable categories