Tensors, multivectors, wedge products, multilinear maps, exterior (Grassmann) algebras.

learn more… | top users | synonyms

4
votes
2answers
457 views

Tensor and Hom objects for finite flat group schemes

Is the category of finite flat group schemes equipped with "tensor products" and Hom-objects, encoding bilinear maps? I'm aware that the Cartier dual is $Hom(\mathbb{G}, \mathbb{G}_m)$, and want to ...
6
votes
1answer
693 views

Co-ends as a trace operation on profunctors

The n-lab site on profunctors (http://ncatlab.org/nlab/show/profunctor) describes profunctor composition as using a co-end to "trace out" the connecting variable: $F\circ G := \int^{d\in D} F(-, d) ...