]> gitweb.michael.orlitzky.com - mjotex.git/commit
Add \unit{} for the multiplicative identity element.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 10 Dec 2019 20:28:47 +0000 (15:28 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 10 Dec 2019 20:28:47 +0000 (15:28 -0500)
commitf82e8e51ac99547bab1a02d678a1476971f17444
tree1cb80577699411b46b48c507c9da90e82a734ea9
parent3dfec40b7f8df25dad0bcefb2d14d27789960a3e
Add \unit{} for the multiplicative identity element.

Technically we could pass off \identity{X} as the multiplicative
identity element in an algebraic structure, by using the "arrow"
interpretation in the right category. But let's not try to shoot
ourselves in the foot too hard, yeah?
examples.tex
mjo-algebra.tex
mjo-arrow.tex