The categorical-logic tag has no wiki summary.

**0**

votes

**0**answers

65 views

### Lawvere algebraic theory as presentation-invariant [on hold]

We can read in a lot of papers, included Lawvere's PhD thesis, that algebraic theories are "an invariant notion of which the usual formalism with operations and equations may be regarded as a ...

**2**

votes

**0**answers

52 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

149 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

556 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

265 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

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