The categorical-logic tag has no wiki summary.

**3**

votes

**1**answer

127 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 ...

**13**

votes

**1**answer

486 views

### On Joyal's completeness theorem for first order logic

In 1978, in a series of unpublished conferences in MontrĂ©al, A. Joyal announced a remarkable theorem that unified several completeness theorems for fragments of first order logic, as well as first ...

**2**

votes

**2**answers

180 views

### Further relation between monads and theories

This question want to be a follow up of the following question.
In that thread I was interested in understanding relation between various presentation of algebraic theories. In particular in Eduardo ...

**9**

votes

**2**answers

551 views

### Category of Judgements?

I have been able to find a lot of information on the category of contexts -- for example, the page on syntactic categories at the nLab is a good starting point. However, when I try to find similar ...