Questions tagged [algebraic-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
0 answers
93 views

Original reference for the correspondence between commutative algebraic theories and commutative monads

Commutative algebraic theories were introduced by Linton in the 1966 paper Autonomous Equational Categories. Commutative monads were introduced by Kock in the 1970 paper Monads on symmetric monoidal ...
user avatar
  • 5,035
7 votes
0 answers
170 views

Were algebraic theories and abstract clones defined independently?

Algebraic theories (by which I mean the formalism based on bijective-on-objects functors) and abstract clones both capture universal algebraic structure, and are well-known to be equivalent. Algebraic ...
user avatar
  • 5,035
13 votes
3 answers
605 views

Reference request for Linton's theorems on equational theories

This is a reference request for the following "well-known" theorems in category theory: There is an equivalence of categories between finitary monads on $\mathbf{Set}$ and finitary Lawvere ...
user avatar
9 votes
0 answers
144 views

Michel Thiébaud's thesis ("Self-Dual Structure-Semantics and Algebraic Categories")

I am looking for a copy of Michel Thiébaud's 1971 thesis Self-Dual Structure-Semantics and Algebraic Categories, which appears to be an early reference for the relationship between the Kleisli ...
user avatar
  • 5,035
8 votes
1 answer
202 views

Internal logic of locally strongly finitely presentable categories

There is a duality between locally strongly finitely presentable categories and (Cauchy complete) cartesian categories, i.e. multisorted algebraic theories. The internal logic of cartesian categories ...
user avatar
  • 5,035
5 votes
0 answers
106 views

Characterisation of essentially algebraic theories with a fixed set of sorts

It is well known (e.g. Palmgren–Vickers's Partial Horn logic and cartesian categories) that many-sorted essentially algebraic theories (equivalently partial Horn theories / quasi-equational theories / ...
user avatar
  • 5,035
3 votes
1 answer
83 views

Characterisation of presentations for varietal large equational theories

Let $T : \mathbf{Set}^\mathrm{op} \to \mathscr T$ be a large equational theory (i.e. a bijective-on-objects product-preserving functor). Following Linton in Some Aspects of Equational Categories, we ...
user avatar
  • 5,035
7 votes
1 answer
334 views

Characterisation of essentially algebraic theories as monads

The following correspondence between algebraic theories and monads on $\mathbf{Set}$ is well-known (see, for example, Algebraic Theories: A Categorical Introduction to General Algebra). The ...
user avatar
  • 5,035
4 votes
1 answer
393 views

Question about an implication of Thomason's étale descent spectral sequence

On page 5 of this paper by Dwyer and Mitchell, it is said that Thomason's étale descent spectral sequence from his paper Algebraic K-theory and étale cohomology, which reads $$H^p_{\acute{e}t}(X, \...
user avatar
  • 1,369
11 votes
3 answers
620 views

IBN for algebraic theories

Let us say that a finitary algebraic theory $\tau$ has IBN (invariant basis number) if the free functor $F : \mathsf{Set} \to \mathsf{Mod}(\tau)$ reflects the isomorphism relation: If $S,T$ are sets ...
user avatar
5 votes
0 answers
318 views

The graph of algebraic theories

Fix a logic $L$ and consider the category $\mathbf{AlgTh}_L$ with theories of $L$ as objects and theory interpretations as morphisms. For nice enough logics, this category has pushouts (which we will ...
user avatar
5 votes
1 answer
473 views

Request for reference: Banach-type spaces as algebraic theories.

Sparked by Yemon Choi's answer to Is the category of Banach spaces with contractions an algebraic theory? I've just spent a merry time reading and doing a bit of reference chasing. Imagine my delight ...
user avatar