Timeline for Detecting Universals
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2018 at 2:56 | history | edited | Martin Sleziak |
Removed deprecated (abstract-algebra) tag - see the tag info: https://mathoverflow.net/tags/abstract-algebra/info (if there are some other suitable tags, choose them instead.)
|
|
| May 28, 2017 at 8:57 | vote | accept | Ivan Di Liberti | ||
| May 27, 2017 at 22:11 | answer | added | Qiaochu Yuan | timeline score: 7 | |
| May 27, 2017 at 21:22 | answer | added | Omar Antolín-Camarena | timeline score: 3 | |
| May 26, 2017 at 18:58 | comment | added | Ivan Di Liberti | Mh, yes, my only assumption. The idea is quite easy, "which constructions have a universal property?!" This is just the easiest and maybe too naif way to ask this question. | |
| May 26, 2017 at 18:54 | comment | added | Andreas Blass | Presumably you don't want the trivial solution where $I$ consists of just one object and its identity morphism, so that $C^I$ and $C\times I$ are isomorphic to $C$ and we can take $Q$ to be $P$ (up to isomorphism). Is this the only non-triviality assumption you want? | |
| May 26, 2017 at 18:49 | history | edited | Ivan Di Liberti | CC BY-SA 3.0 |
edited body
|
| May 26, 2017 at 18:41 | history | edited | Ivan Di Liberti | CC BY-SA 3.0 |
added 9 characters in body
|
| May 26, 2017 at 18:39 | history | edited | fosco | CC BY-SA 3.0 |
deleted 1 character in body
|
| May 26, 2017 at 18:38 | history | asked | Ivan Di Liberti | CC BY-SA 3.0 |