Finite models of sketches

• Autoři: ADÁMEK J.; ROSICKÝ J.
• Rok publikování: 1997
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Journal of Pure and Applied Algebra
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Obor: Obecná matematika
• Popis: For every sketch with countable limit and colimit specifications there is found a sketch with finite limit and colimit specifications having the same category of finite models.

Související projekty

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