Finite models of sketches

• Authors: ADÁMEK J.; ROSICKÝ J.
• Year of publication: 1997
• Type: Article in Periodical
• Magazine / Source: Journal of Pure and Applied Algebra
• MU Faculty or unit: Faculty of Science
• Field: General mathematics
• Description: 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.

Related projects

• Categorical Methods in Theory of Structures and Computer Science
• Mathematical structures of algebra and geometry