Timeline for Example of an unnatural isomorphism
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2022 at 20:30 | comment | added | Andrea Marino | Very beatiful!! | |
| Oct 26, 2015 at 21:38 | comment | added | Peter LeFanu Lumsdaine | This example is beautifully different from most of the others. The others give examples of clearly non-natural families of isos. This one feels much more like it ought to be natural — even with the counterexample in front of me, I find it hard to disbelieve that these functors are naturally isomorphic. | |
| Oct 26, 2015 at 21:06 | history | edited | HenrikRüping | CC BY-SA 3.0 |
deleted 5 characters in body
|
| Aug 15, 2013 at 2:11 | history | made wiki | Post Made Community Wiki by Ben Webster♦ | ||
| Aug 14, 2013 at 9:01 | history | answered | HenrikRüping | CC BY-SA 3.0 |