Timeline for Adjusting the definition of a well-powered category to category theory with universes: size issues
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 20, 2019 at 20:07 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 84 characters in body
|
| Oct 20, 2019 at 19:50 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
spelling
|
| Oct 20, 2019 at 19:45 | comment | added | Andrej Bauer | I tried to supplement the answer in a useful way. | |
| Oct 20, 2019 at 19:45 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 1694 characters in body
|
| Oct 20, 2019 at 12:37 | comment | added | Andrej Bauer | Assuming your universes are models of set theory with regularity axiom, my answer still offers a solution "for free", so you don't even have to bother with any definitions. Are you thinking of some possibly non-set-theoretic foundation? | |
| Oct 20, 2019 at 11:25 | comment | added | Jxt921 | I suppose my remark in the beginning confused you, hence I'm removing it. Sorry again. | |
| Oct 20, 2019 at 11:25 | comment | added | Jxt921 | Dear Andrej, I'm sorry, I was not asking about that. The real question is in the second half of the writing: it's related to universes. I'd like to know whether the proposed definition of well-poweredness works for $\mathcal{U}$-sets. | |
| Oct 20, 2019 at 11:23 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 654 characters in body
|
| Oct 20, 2019 at 11:16 | history | answered | Andrej Bauer | CC BY-SA 4.0 |