* deeper and deeper
@ 2000-01-18 14:52 Peter Freyd
0 siblings, 0 replies; only message in thread
From: Peter Freyd @ 2000-01-18 14:52 UTC (permalink / raw)
To: categories
Vaughan writes
Ok, let me dig myself in deeper by making my example more
complicated. Instead of 1->3, put an arrow from i to j whenever
i <= j <= 2i. Now ever y i is a square coalgebra but no i is a
cubical coalgebra.
There's an arrow from 1 to 2 but none from 1*1 to 1*2. And
when put back in you'll obtain an arrow from 1 to 3.
Even without associativity, if A is a X*X coalgebra then A is
an (X*X)*X coalgebra.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-01-18 14:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-01-18 14:52 deeper and deeper 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).