README.md

Abstract Algebra

(Up)

Web resources

start - MathStructures ★★ 💭

Mathematics and Computation | Alg ★

Near-semiring - Wikipedia, the free encyclopedia

Congruence relation - Wikipedia

Definition:Congruence Relation - ProofWiki ★

Papers

The Convolution Algebra

Interior Algebras and Varieties (online @ core.ac.uk) ★ 💭

Varieties of Interior Algebras (online @ eprints.illc.uva.nl) 💭

Algebras and combinators

Algebras and combinators (Algebra universalis 1981)

Equations in Combinatory Algebras

Higher-Order Algebraic Theories

(in Theorem Proving) Robbins Algebras are Boolean (online @ www.cs.unm.edu) ★ 💭