Timeline for Example of an unnatural isomorphism
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2016 at 15:52 | comment | added | Robert Furber | If we take the groupoid of finite dimensional real Hilbert spaces and linear isomorphisms, these functors are unnaturally isomorphic. But, if we restrict to orthogonal maps instead of linear ones, the inner product provides a natural isomorphism between them. | |
| Aug 15, 2013 at 2:11 | history | made wiki | Post Made Community Wiki by Ben Webster♦ | ||
| Aug 14, 2013 at 18:34 | comment | added | Eric Wofsey | Specifically, the second functor takes any map to its inverse. | |
| Aug 14, 2013 at 9:03 | history | answered | Dan Petersen | CC BY-SA 3.0 |