[FOM] Shinichi Mochizuki on set-theoretical/foundational issues

[martdowd at aol.com]

 Following are some comments on recent posts on this thread:                     

1.  Yoneda's lemma, as stated in
 Categories for the Working Mathematician
by Saunders MacLana,e can be formalized in NBG.  The naturality claims can be
"unwound", and considering Set^D is avoidable.  Alternatively, Set^D can be
considered a definable type 2 object.

2.  Mochizuki's use of the term "set-theoretic universe" seems to require a
system of "parallel" universes.  Grothendieck universes form a chain under
inclusion.  Even if there were any advantage to "parallel universes", they
could be formalized as fibers of V \times V.

- Martin Dowd


It is clear he sometimes uses the term "universe" this way.

 









_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom

 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130527/511d7629/attachment.html>