# Tagged Questions

**1**

vote

**1**answer

100 views

### Universal constructions that factor through endomorphisms

If $\cal A$ is a variety of algebras (e.g., all groups) and $\cal B$ is a subvariety defined by some set of identities $X$ (e.g., abelian groups with $X = \{xy \simeq yx\}$), then there is a functor ...

**0**

votes

**0**answers

43 views

### Semigroups admitting generating sets which induce a “weight” on elements of the semigroup

Neither universal algebra nor semigroup theory is something I really know much about, so this question might not be appropriate for MO; if so, I'll move it to MSE.
Recently, I've been playing ...

**6**

votes

**3**answers

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

**4**

votes

**3**answers

483 views

### Survey of finite axiomatizability for relational theories?

An $L$-theory $T$ is finitely axiomatizable if there is a finite set $A$ of $L$-sentences with the same consequences as $T$, i.e. such that $M \models T$ iff $M \models A$ for every $L$-structure $M$. ...

**13**

votes

**3**answers

1k views

### Relation between monads, operads and algebraic theories

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any ...

**3**

votes

**2**answers

264 views

### Terminology: Name for a homomorphism from the free object?

Is there a standard name for taking a homomorphism from the free object over an algebraic structure? Roughly speaking, this should amount to evaluation of any element of the free object under the ...