Types in a Monoid #card #bidirectional
any two functions are composable
corresponds to weak typing
Monoid #card #bidirectional
Category with one object
Can have many morphisms
Known as a sort of “pre-group” in Group Theory
Monoid in Set Theory #card #bidirectional
defined as a set of elements
some operation for that set
can take in multiple elements from the set and return one from the set
has to be defined for all elements of the set
one element is the Unit element
Commutative and Associative
Examples
multiplication, Unit element = 1
string concatenation, Unit element = "" (empty string)
appending lists
Monoid in Set Theory == Monoid in Category Theory