Finitary sketches

DOI10.2307/2275568zbMATH Open0885.18001OpenAlexW4239461502MaRDI QIDQ4372902FDOQ4372902

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

Recommendations

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

zbMATH Keywords

sketchmeasurable cardinalgeometric sketchfinitely accessible categorysketchable categoryfinitary sketch

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Aspects of topoi
• Finitary sketches and finitely accessible categories
• On geometric and finitary sketches

Cited In (8)

• The strength of Mac Lane set theory
• Title not available (Why is that?)
• Formal model theory and higher topology
• Title not available (Why is that?)
• On geometric and finitary sketches
• Reflection into models of finite decidable FP-sketches in an arithmetic universe
• Finitary sketches and finitely accessible categories
• Finite models of sketches

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)