The categorical-logic tag has no usage guidance.

**2**

votes

**0**answers

57 views

### Sheaves, colimits and closure

I am considering the sheaf topos $\mathbf{Sh}(\mathfrak{X})$ on a topological space $\mathfrak{X}$.
Limits in this category are constructed pointwise, as in presheaves. Colimits, however, are not ...

**4**

votes

**1**answer

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

**14**

votes

**1**answer

593 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

307 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

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