Pith. sign in

REVIEW

Coends and the tensor product of $\mathcal{C}$-modules

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1608.02828 v3 pith:BCHO64WU submitted 2016-08-09 math.CT

classification math.CT
keywords extensionsproducttensorcoendsconceptfunctorsmathcalmodules
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit related to the concept of copower. Finally, we study the tensor product of functors, and its relation with Kan extensions, in order to represent the tensor product of $\mathcal{C}$-modules as a particular case.

Discussion (0). Continue with ORCID to comment.

Pith tools