Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Let be the monoidal category whose underlying category is and whose tensor product is (the multiplication rule for perplex numbers). Surely there is some name for a category enriched over ?
In more elementary terms, a -category has both morphisms and antimorphisms, with a composite of such being anti iff oddly many of the originals are anti. Examples: groups, homomorphisms, and antihomomorphisms; (strict) categories, functors, and contravariant functors; etc.
A -category is of course an -category, but of a rather special kind.
A -graded category?
A Tunny category. (I happen to watched a programme recently on Bill Tutte and Tommy Flowers describing the work, in Bletchley Park, of the ’Tunny’ code breakers. (see here))
Having never heard of perplex numbers before, I wandered to a nearby wiki and took a look. I don’t understand this description:
the direct product of as a ring;
I expect “the direct product of” to be “the direct product of with ” but that doesn’t fit in here. What am I missing?
You’re right, Andrew, but I expect what was meant was “ as a direct product of rings”.
Edit: I went ahead and changed it.
1 to 5 of 5