# Tagged Questions

136 views

### Algebraic objects and lifts of their represented functors

I've seen the following theorem around in various forms: To give an object $A \in \mathcal{C}$ the structure of a $\Omega$-algebra object in $\mathcal{C}$ is equivalent to giving a lift of the ...
98 views

### Is the following a sufficient condition for being a primal algebra?

I have a question regarding universal algebra and, in particular, primal algebras: Suppose that A is a finite simple algebra with no proper subalgebra, no automorphism except the identity map, with a ...
29 views

### Dualities between varieties and quasivarieties at the finite level

Suppose one has two locally finite quasivarieties $\mathcal{V}$ and $\mathcal{W}$. Further suppose that: $\mathcal{V}$ is a variety. The finite algebras $\mathcal{V}_f$ are dually equivalent to ...
63 views

### When does a cogenerator determine a variety?

Two varieties of universal algebras are categorically equivalent iff their respective full subcategories of finitely generated free algebras are equivalent. Roughly speaking, this follows because they ...
138 views

### Locally finite varieties which are not finitely generated

Let $\Sigma$ be a signature consisting of operations with finite arity. Let $\mathcal{V}$ be a variety of algebras for this signature. Further suppose that $\mathcal{V}$ is locally finite i.e. every ...
143 views

### Equational theories determined by “identities without variables”

How to characterize equational theories $T$ which have the following property: for any two terms $t(x_1,...,x_n)$ and $t'(x_1,...,x_n)$ in the signature of $T$, if for any closed terms (i. e. terms ...
157 views

### What do algebraic theories with strictly terminal trivial models look like?

By algebraic theory I mean one in the sense of Lawvere, i.e. a collection of finitary operations, including projections, together with a multi-composition satisfying the obvious axioms. (I believe ...
433 views

### Varieties where every algebra is free

I'd like to know more about varieties (in the sense of universal algebra) where every algebra is free. Another way to state the condition is that the comparison functor from the Kleisli category to ...
181 views

### Does every commutative variety of algebras have a cogenerator?

By a commutative variety $\mathcal{V}$ I mean a classical variety of algebras for some $(\Sigma,E)$, such that each pair of operations in $\Sigma$ commutes. Equivalently (i) every interpretation of ...
294 views

### Are algebraic structures uniquely identifed by their free objects?

It might be a naive question, as I am not a specialist in this field. This is a follow-up to this question. I want to study varieties of objects generalizing ordered monoids, in particular using an ...
163 views

### Varieties generated by a two element algebra

I have two questions regarding universal algebra, and also its ordered version. If a variety $\mathcal{V}$ is generated by a specific two element algebra $2 = \{0,1\}$, then is that the only ...
162 views

### A variety of algebras satisfying some dual conditions

I would like prove that, under the conditions described below, no non-trivial variety exists. Let $\mathcal{V}$ be a variety of algebras e.g. rings, semigroups, semilattices. Further suppose ...
183 views

### Coequalizers in an Eilenberg-Moore category

Last month I proved that some category $\mathbf C$ that I happen to care about is isomorphic to the Eilenberg-Moore category for a monad on the category of bounded posets $\mathbf{BPos}$. I know from ...
481 views

### Shape of axioms in abstract algebra

When defining abstract algebraic structures (like monoids, groups, etc...), are there some constraints on the shape of the axioms, for the structure to have good properties that we implicitly use in ...
215 views

Let $(T, \mu , \eta )$ a monad on the category $\mathscr{C}$ , with the usual EM (Eilenberg-Moore) adjunction $\langle F_T, U_T, \eta_Y, \epsilon_T \rangle: \mathscr{C}^T \to \mathscr{C}$ where ...
297 views