Timeline for Groups and rings which are not sets
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 27, 2010 at 16:49 | comment | added | Qfwfq | What I want to say is that allowing only certain entities to be "large" and not others may be "unnatural". Do you really want $R$ not to be an $R$-module? [b.t.w. the usual definition of module $M$ over $R$ involve both a set $M$ and a set $R$; if you're up to big-ify $R$, why not to big-ify $M$ as well?] | |
| Sep 27, 2010 at 16:05 | comment | added | Bugs Bunny | What is up, Doc? Which objects are you talking about? $R$-modules are sets!! In particular, $R$ is not $R$-module :-)) Progenerators gone with the wind... | |
| Sep 27, 2010 at 15:59 | comment | added | Qfwfq | If we allow objects of a category to be proper classes, why not to allow Hom sets between them to be proper classes as well? | |
| Sep 27, 2010 at 15:29 | history | answered | Bugs Bunny | CC BY-SA 2.5 |