Finitary sketches

• Autoři: ADÁMEK J.; JOHNSTONE P.T.; MAKOWSKY J.M.; ROSICKÝ J.
• Rok publikování: 1997
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Journal of Symbolic Logic
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Obor: Obecná matematika
• Popis: Finitary sketches are proved to be as strong as geometric sketches. Categories sketchable by such sketches are fully characterized in the infinitary first-order logic: they are axiomatizable by coherent theories. The latter result is absolute; the equivalence of geometric and finitary sketches requires (in fact, is equivalent to) the non-existence of measurable cardinals.

Související projekty

• Kategoriální metody teorie struktur a informatiky
• Matematické struktury algebry a geometrie