* universality
@ 2009-06-17 19:42 Dietmar Schumacher
0 siblings, 0 replies; only message in thread
From: Dietmar Schumacher @ 2009-06-17 19:42 UTC (permalink / raw)
To: categories, Reinhard.Boerger
Hi Reinhard,
when I entered category theory I must have gotten on the nerves of a
student of logic who found it necessary to point out to me that
universality is as good as one knows the ambient universe. That remark
came around to bite me once more when I recently pontificated that under
the same assumptions on a category S, under which NNO's in S imply that
the category of categories in S is monadic over the category of directed
graphs in S, the converse would be true.
Dietmar (Schumacher)
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-06-17 19:42 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-06-17 19:42 universality Dietmar Schumacher
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).