Finitary sketches

DOI10.2307/2275568MaRDI QIDQ4372902zbMATH OpenOpenAlexFDO

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

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

finitary sketchfinitely accessible categorygeometric sketchmeasurable cardinalsketchsketchable category

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other infinitary logic (03C75) Foundations, relations to logic and deductive systems (18A15) 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)

Recommendations

• Finite models of sketches
• Finitary sketches and finitely accessible categories
• On geometric and finitary sketches
• On the Limitations of Sketches

Cites work

• Aspects of topoi
• Finitary sketches and finitely accessible categories
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• On geometric and finitary sketches

Cited in

(9)

• On geometric and finitary sketches
• Reflection into models of finite decidable FP-sketches in an arithmetic universe
• scientific article; zbMATH DE number 1231576 (Why is no real title available?)
• Finitary sketches and finitely accessible categories
• The strength of Mac Lane set theory
• scientific article; zbMATH DE number 7760192 (Why is no real title available?)
• Formal model theory and higher topology
• Finite models of sketches
• My writing

This page was built for publication: Finitary sketches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372902)