]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
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)
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?


No differences found