* V. Voevodsky's Univalence Axiom and isomorphic equivalence classes
@ 2018-04-24 17:14 Vasili I. Galchin
0 siblings, 0 replies; only message in thread
From: Vasili I. Galchin @ 2018-04-24 17:14 UTC (permalink / raw)
To: Categories mailing list; +Cc: Galchin Vasili
Suppose we have a category C.
We can partition the objects of C into equivalence classes each
populated by the objects that are isomorphic to each other.
If we assert the Univalence Axiom, then each equivalence class
collapses to one element and the Axiom of Choice becomrd vacuous.
I am sure I am using the Univalence Axiom naively, yes? If so, why and how?
Thx,
Vasily Gal'chin
[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:[~2018-04-24 17:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-04-24 17:14 V. Voevodsky's Univalence Axiom and isomorphic equivalence classes Vasili I. Galchin
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).