All Questions
Tagged with sketches categorical-logic
2 questions
4
votes
1
answer
294
views
Sketches for categories of models of complete theories
In Accessible categories : the foundations of categorical model theory, chapter 3 p.58, Makkai and Paré claim that there is "an (obvious) identification of a class of sketches so that the categories ...
3
votes
1
answer
252
views
How to turn a limit sketch into an essentially algebraic theory?
An essentially algebraic theoery, according to Adamek and Rosicky (second definition on nlab), consists of a many-sorted signature $\Sigma$ (consisting of function symbols on sorts $S$), a set $E$ of ...
- 25.2k