Direct sum is not the coproduct in the category of quadratic vector spaces. The absence of terminal objects and (co)products in QVec is due to the fact that projections do not generally preserve norms.
José Figueroa O'Farrill, Spin Geometry

seen from United States
seen from Germany

seen from United States
seen from Germany
seen from China
seen from United States

seen from United States
seen from Canada

seen from Malaysia
seen from Germany
seen from Philippines
seen from China

seen from United States
seen from China
seen from United States

seen from United States

seen from Germany

seen from United States

seen from Australia
seen from United States
Direct sum is not the coproduct in the category of quadratic vector spaces. The absence of terminal objects and (co)products in QVec is due to the fact that projections do not generally preserve norms.
José Figueroa O'Farrill, Spin Geometry

Anya is live and ready to show you everything. Watch her strip, dance, and perform exclusive shows just for you. Interact in real-time and make your fantasies come true.
Free to watch • No registration required • HD streaming
Given any Riemannian manifold M (smooth mnfd, equip w/ metric g, simply a 2-tensor), tangent & cotangent bundle on M are isomorphic via g!
20121113 Differential Manifolds, topics covered; LMU, Winter 2012
20121113, Prof. Leeb.
I.4.4. The differentiable structure on the tangent bundle.
natural topology and diff. structure of tangent bundle
topology on T M has countable basis, Hausdorff property
I.4.5. Tangent vectros as derivations
regard tangent vectors as differentiable operators. Â to tangent vector, assign directional derivative
Properties
(i)R-linear
(ii) product rule
Definition of derivation
germs of functions
denote I_p \subset \mathcal{C}^k(M)_p the maximal ideal of the germs
subjectivity of T_pM \to \mathcal{D}_p(M), v \mapsto \partial_v (*)
Prop. embedding (*) is a linear isomorphism