* 1 = 2?
@ 2000-01-19 16:03 Peter Freyd
0 siblings, 0 replies; only message in thread
From: Peter Freyd @ 2000-01-19 16:03 UTC (permalink / raw)
To: categories
Vaughan writes:
The ring of integers mod 3 is a one-object monoidal category in the
usual way, with multiplication as composition and addition as the
monoid.
A monoid -- as does any functor on two variables -- has to carry
identity maps into identity maps. If composition is multiplication
then 1 is the identity map. But if * is addition then 1*1 ...
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-01-19 16:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-01-19 16:03 1 = 2? Peter Freyd
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).