Finitary sketches

DOI10.2307/2275568zbMath0885.18001OpenAlexW4239461502MaRDI QIDQ4372902

Jiří Rosický, Jiří Adámek, Johann A. Makowsky, Peter T. Johnstone

Publication date: 5 April 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275568

zbMATH Keywords

sketchmeasurable cardinalgeometric sketchfinitely accessible categorysketchable categoryfinitary sketch

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

On geometric and finitary sketches ⋮ Finite models of sketches ⋮ The strength of Mac Lane set theory

Cites Work

• Unnamed Item
• On geometric and finitary sketches
• Finitary sketches and finitely accessible categories
• Aspects of topoi

This page was built for publication: Finitary sketches