# Questions tagged [universal-algebra]

The study of algebraic structures and properties applying to large classes of such structures. For example, ideas from group theory and ring theory are extended and considered for structures with other signatures (systems of basic or fundamental operations).

**4**

**1**answer

### How do finite door spaces work?

**4**

**1**answer

### Reversible varieties

**6**

**1**answer

### How many sublattices are contained in the powerset lattice of a finite set?

**4**

**0**answers

### Minimization of second-order unifiers

**13**

**0**answers

### The free complete lattice on three generators, beyond ZF

**6**

**1**answer

### First isomorphism theorem for sets?

**5**

**3**answers

### Universal property of the cocomplete category of models of a limit sketch

**5**

**0**answers

### Axiomatizability of image of functor

**6**

**3**answers

### Algebras with finite essential arity

**3**

**1**answer

### Do almost-point-transitive algebras generate almost-point-transitive varieties?

**8**

**2**answers

### Ternary associative multiplication

**6**

**1**answer

### Does the likelihood of these tables exist?

**8**

**0**answers

### What is going on in the field of algebraic logic these days?

**1**

**0**answers

### First isomorphism theorem for inverse semigroups together with v-prehomomorphisms?

**2**

**0**answers

### Function and algebraic system

**1**

**1**answer

### Lawvere theory of Lawvere theories

**6**

**0**answers

### Birkhoff's theorem with language expansion?

**7**

**0**answers

### Were algebraic theories and abstract clones defined independently?

**20**

**1**answer

### Does sine interact equationally with addition alone?

**39**

**1**answer

### Identities of commutators

**11**

**2**answers

### Uses of Zorn's Lemma when the thing is actually unique

**1**

**1**answer

### Algebras for general transfors

**2**

**2**answers

### Finitary endofunctors: "Support" of elements of $TM$ where $T:\mathrm{Set}\to\mathrm{Set}$ is finitary

**3**

**2**answers

### Are gyrogroups useful for anything else other than the Einstein velocity addition rule?

**0**

**1**answer

### Ordering preserved by an inverse frame homomorphism

**1**

**2**answers

### Example of idempotent left quasigroups which are right-distributive but not left-distributive

**0**

**3**answers

### value (element of an algebra), constant, variable, ground and non-ground terms, free algebras : there is a need for clarification

**0**

**1**answer

### Finitely presented algebra [closed]

**11**

**3**answers

### Comparing the existing formulations of universal algebra and their levels of generality

**12**

**0**answers

### Birkhoff's HSP theorem in categories other than $\mathbf{Set}$

**9**

**2**answers

### Comparing "axiomatized function spaces"

**1**

**0**answers

### Minimizing all aspects of the definition of Boolean algebra

**19**

**2**answers

### Why does abelianization preserve finite products, really?

**3**

**0**answers

### Proving interpolation results through amalgamation

**9**

**2**answers

### Varieties where every algebra is projective?

**58**

**5**answers

### Does "finitely presented" mean "always finitely presented"? (Answered: Yes!)

**3**

**1**answer

### On the tree-ishness of magmas and the stringiness of groups

**2**

**0**answers

### Union star symbol in set theory

**10**

**1**answer

### Generalized cancelation properties ensuring a monoid embeds into a group

**0**

**0**answers

### Equational identities of sedenions and beyond in the signature of multiplication

**5**

**0**answers

### Cohomology without comonad?

**-2**

**1**answer

### Is equational logic in universal algebra a proof system not a logic system?

**3**

**1**answer

### What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

**2**

**0**answers

### Varieties where any subalgebra is a regular sub-object

**22**

**1**answer

### Are there axioms satisfied in commutative rings and distributive lattices but not satisfied in commutative semirings?

**3**

**1**answer

### Characterisation of presentations for varietal large equational theories

**5**

**1**answer

### "Tietze-like transformations" for defining interesting bijections between algebraic structures

**13**

**0**answers

### Is there a finite equational basis for the join of the commutative and associative equations?

**7**

**0**answers

### Invariant theory in universal algebra

**4**

**0**answers