Concrete categories and infinitary languages

DOI10.1016/0022-4049(81)90105-5zbMath0475.18001OpenAlexW2140608470WikidataQ127664756 ScholiaQ127664756MaRDI QIDQ1159753

Jiří Rosický

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1016/0022-4049(81)90105-5

zbMATH Keywords

infinitary languagecategories of models of languagesfibre-small concrete categoryMac Neille completionsemi-topological categories

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Special properties of functors (faithful, full, etc.) (18A22) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Other infinitary logic (03C75)

Related Items (14)

Unnamed Item ⋮ \(\mu\)-abstract elementary classes and other generalizations ⋮ Infinitary stability theory ⋮ On reflective subcategories of varieties ⋮ Unnamed Item ⋮ Solid hulls of concrete categories ⋮ Left properness of flows ⋮ Unnamed Item ⋮ Extensivity of categories of relational structures ⋮ From quantale algebroids to topological spaces: fixed- and variable-basis approaches ⋮ On the fullness of certain functors ⋮ CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES ⋮ Models of Horn theories revisited ⋮ Semi-initial completions

Cites Work

• Structure-semantics relation for non-varietal equational theories
• Initial completions
• Large infinitary languages. Model theory
• The fine spectrum of a variety
• Equational aspects of ultrafilter convergence
• Semi-topological functors. I
• Structure Species and Constructive Functors
• General Functorial Semantics, I
• On the adjointness between operations and relations and its impact on atomic compactness
• Characterizations of MacNeille completions and topological functors
• Large algebraic theories with small algebras
• Topological functors
• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Concrete categories and infinitary languages