ext_113504 ([identity profile] moomlyn.livejournal.com) wrote in [personal profile] swestrup 2007-07-06 08:30 am (UTC)

All of mathematics is a tautology.

Addition modulo 3 can't be a morphism on a three object category, because addition is a binary operation. It has two inputs and one output. A morphism has one input and one output.

You could take the objects 1,2,3 together with the morphism (plus 1) mod 3. In which case the resulting category is simply a triangle.

A finite category, is of course, just a multigraph with loops.



Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting