Abstract Algebra
----------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics)

- - - -


### Web resources

[start - MathStructures](https://math.chapman.edu/~jipsen/structures/doku.php/) ★★ [💭](commentary/cpressey.md#start-mathstructures)

[Mathematics and Computation | Alg](https://math.andrej.com/2011/01/22/alg/) ★

[Near-semiring - Wikipedia, the free encyclopedia](https://en.wikipedia.org/wiki/Near-semiring)

[Congruence relation - Wikipedia](https://en.wikipedia.org/wiki/Congruence_relation)

[Definition:Congruence Relation - ProofWiki](https://proofwiki.org/wiki/Definition:Congruence_Relation) ★


### Papers

[The Convolution Algebra](https://math.nmsu.edu/people/personal-pages/files/2018-The-Convolution-Algebra.pdf)

Interior Algebras and Varieties (online @ [core.ac.uk](https://core.ac.uk/download/pdf/81110356.pdf)) ★ [💭](commentary/cpressey.md#interior-algebras-and-varieties)

Varieties of Interior Algebras (online @ [eprints.illc.uva.nl](https://eprints.illc.uva.nl/id/eprint/1833/2/HDS-01-Wim_Blok.text.pdf)) [💭](commentary/cpressey.md#varieties-of-interior-algebras)

[Algebras and combinators](https://www.research-collection.ethz.ch/bitstream/handle/20.500.11850/68681/eth-3148-01.pdf)

[Algebras and combinators (Algebra universalis 1981)](https://people.math.ethz.ch/~engeler/g_AlgebrasAndCombinators.pdf)

[Equations in Combinatory Algebras](https://people.math.ethz.ch/~engeler/Engeler1984_Chapter_EquationsInCombinatoryAlgebras.pdf)

[Higher-Order Algebraic Theories](https://www.cl.cam.ac.uk/~na412/Higher-order%20algebraic%20theories.pdf)

_(in [Theorem Proving](../Theorem%20Proving/README.md#theorem-proving))_ Robbins Algebras are Boolean (online @ [www.cs.unm.edu](https://www.cs.unm.edu/~mccune/papers/robbins/)) ★ [💭](commentary/cpressey.md#robbins-algebras-are-boolean)