Intereting Posts

Create a monic polynomial with integer coefficients with $\sqrt{2}+\sqrt{3}+\sqrt{5}$ as a root.
Prove that $H$ is a abelian subgroup of odd order
How is the acting of $H^{-1}$ on $H^1_0$ defined?
Criterion for locally free modules of rank $1$
$f$ is continuous at $a$ iff for each subset $A$ of $X$ with $a\in \bar A$, $f(a)\in \overline{ f(A)}$.
Weakly compact operators on $\ell_1$
Did Euclid prove that $\pi$ is constant?
Sum of two random variables is random variable
On convergence of nets in a topological space
How to get the limits of rotated ellipse?
Prove $\sum\limits_{cyc}\left(\frac{a^4}{a^3+b^3}\right)^{\frac34} \geqslant \frac{a^{\frac34}+b^{\frac34}+c^{\frac34}}{2^{\frac34}}$
Minpoly and Charpoly of block diagonal matrix
proving that this ideal is radical or the generator is irreducible
Non-algebraically closed field in which every polynomial of degree $<n$ has a root
Axiom of Choice: What exactly is a choice, and when and why is it needed?

After seeing the answer to the question Category theory, a branch of abstract algebra,

I would like to ask

Are there literature discussing the difference/indifference/comparison between category theory and universal algebra?

- Let $A$ be maximal among abelian normal subgroups of a $p$-group and show that $A=C_P(A)$
- Proving a commutative ring can be embedded in any quotient ring.
- What is the easiest way to generate $\mathrm{GL}(n,\mathbb Z)$?
- Number of elements in the quotient ring $\mathbb{Z}/(X^2-3, 2X+4)$
- Prove that the additive groups $\mathbb{R}$ and $\mathbb{Q}$ are not isomorphic.
- Proving that $\cos(2\pi/n)$ is algebraic

- Exercise from Serre's “Trees” - prove that a given group is trivial
- Irreducibles are prime in a UFD
- Prove or Disprove: If every nontrivial subgroup of a group $G$ is cyclic, then $G$ is cyclic.
- Order of orthogonal groups over finite field
- Is $\mathbb{Q}$ the same as $\mathbb{Q}(\sqrt{2},\sqrt{3})$?
- Intuition for idempotents, orthogonal idempotents?
- Does every infinite field contain a countably infinite subfield?
- How to show the intersection of a prime ideal and a subring is a prime ideal
- The most common theorems taught in Abstract Algebra
- Isomorphism between quotient rings of $\mathbb{Z}$

I do not know of any books that make such comparisons their main theme, but

texts on the categorical approach to universal algebra will often also discuss

how their approach relates to “traditional” universal algebra.

I think that Lawvere’s Thesis from 1963, available as reprint with commentary

is probably the best way to start. Beside the obvious advantage of being freely

available, it is from the main inventor of this type of categorical algebra,

includes comments from 2004 on subsequent developement and also has additional

references. Textbook treatments are the article of Pedicchio and Rovatti, the

book of Pareigis and the small book of Wraith (all cited in the references of

the above on page 20f).

Another good textbook treatment along with discussion is provided in Chapter 3

of the book by Borceux “Categorical Algebra II”.

Francis Borceux, Handbook of categorical algebra. 2,

Encyclopedia of Mathematics and its Applications 51,

Cambridge University Press, 1994

Slightly older textbooks are e.g.

Ernest G. Manes, Algebraic theories,

Graduate Texts in Mathematics, No. 26,

Springer-Verlag, New York 1976

Günther Richter, Kategorielle Algebra,

Studien zur Algebra und ihre Anwendungen 3,

Akademie-Verlag, Berlin 1979

Universal algebra discusses algebraic systems such as groups,rings,etc. independent of elements or specific examples of such systems-it discusses algebraic systems in general in terms of the operators and relations between those elements only. A algebraic system is defined as a nonempty set with at least one n-ary operation on it. We discuss then a specific kind of algebraic system and it’s operations.For example, in universal algebra, we discuss the collection of all groups as a set with an binary associative operation and 2 UNARY operations corresponding to the general identity and the inverse of each element. No specifics about the elements are allowed to be discussed, only general principles unique to groups. Equational relations are added as axioms. In short, it is strictly a “big picture” approach to algebra.But note it’s different from the “big picture” approach of category theory since it only discusses one kind of object at a time and does not consider the relations between collections of different kinds of objects.

Category theory takes this one step further by discussing the operations and relations between *different kinds of collections of objects*–**note the objects do not necessarily have to be algebraic systems**– codified by functors and commutative diagrams.

In many ways. category theory can be seen as a direct generalization of universal algebra the same way point set topology can be seen as a generalization of ordinary calculus,real and complex analysis. As point set topology strips away the specific algebraic and ordering properties of the real and complex Euclidean spaces to lay bare the common structures that makes continuity and convergence possible on such systems, category theory allows one to discuss the relations between collections of “the same” objects while universal algebra discusses the internal operations of single categories of a single kind-namely, algebraic systems.

At least,that’s how I understand it. That help?

- Birthday-coverage problem
- Find the positive $n$ such $2^{n-2i}|\sum_{k=i}^{\lfloor\frac{n-1}{2}\rfloor}\binom{k}{i}\binom{n}{2k+1}$
- How to interpret Hessian of a function
- Proof on p. $16 \;$ of Lang's Algebraic Number Theory
- What's are all the prime elements in Gaussian integers $\mathbb{Z}$
- Isomorphic abelian groups which are not isomorphic R-modules
- Linear vector field
- Elliptic Curve and Divisor Example help (Step 2)
- “If $1/a + 1/b = 1 /c$ where $a, b, c$ are positive integers with no common factor, $(a + b)$ is the square of an integer”
- Does separability follow from weak-* sequential separability of dual space?
- Continuous images of open sets are Borel?
- How to find $\lim\limits_{n\to\infty} n·(\sqrt{a}-1)$?
- What are examples of vectors that are not usually called vectors?
- What can be said about the eigenvalues of the Laplace operator in $H^k(\mathbb{T}^2)$
- How to prove the identity $3\sin^4x-2\sin^6x=1-3\cos^4x+2\cos^6x$?