Timeline for Clifford algebra as an adjunction?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2012 at 14:32 | comment | added | ziggurism | Right, duh. Thank you, Qiaochu, for explaining to the slow kid. So how do we reconcile the fact that the Clifford functor isn't a left-adjoint with the fact that every universal property determines an adjunction? I guess we conclude that the universal property which characterizes the Clifford algebra doesn't actually meet the technical definition of a universal morphism, in the sense that there is no functor for which the Clifford construction is initial in the slice over it? Are there other examples of universal properties which are not universal morphisms like this? | |
| Jul 3, 2012 at 5:44 | comment | added | Qiaochu Yuan | $q(x) = x^2$ doesn't take values in the underlying field! | |
| Jul 3, 2012 at 5:34 | history | edited | ziggurism | CC BY-SA 3.0 |
markup; added 36 characters in body; deleted 2 characters in body; deleted 8 characters in body; edited body
|
| Jul 3, 2012 at 5:20 | history | edited | ziggurism | CC BY-SA 3.0 |
freyd adjoint functor
|
| Jul 3, 2012 at 5:13 | history | edited | ziggurism | CC BY-SA 3.0 |
math formatting
|
| Jul 3, 2012 at 5:05 | history | answered | ziggurism | CC BY-SA 3.0 |