* correction w.r.t. generic finite family of finite objects
@ 2007-07-27 15:14 Thomas Streicher
0 siblings, 0 replies; only message in thread
From: Thomas Streicher @ 2007-07-27 15:14 UTC (permalink / raw)
To: categories
Andreas Blass has pointed out to me that that there was a mistake in my recent
mail. There does exist a global element n : 1 -> N such that G \cong K_n
(n is the order of the group G) BUT the statement G \cong K_n contains a hidden
existential quantifier over Iso(G,K_n) and this latter one is not witnessed by
a global section of Iso(G,K_n).
Thomas Streicher
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-07-27 15:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-07-27 15:14 correction w.r.t. generic finite family of finite objects Thomas Streicher
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).