tea.mathoverflow.net - Discussion Feed (Is the category of elements a coend?)

Spice the Bird comments on "Is the category of elements a coend?" (18365)

Spice the Bird — Thu, 09 Feb 2012 10:48:49 -0800

Thank you very much. I think that this thread can be closed, if their is a need.

Todd Trimble comments on "Is the category of elements a coend?" (18364)

Todd Trimble — Thu, 09 Feb 2012 10:42:57 -0800

Spice, if you can recognize a tensor product of modules as a coend, and if you can recognize geometric realization of a simplicial set as an coend, then you are probably well on your way to understanding coends. The nLab might help. Possibly you might find Mac Lane's "Milgram bar construction as a tensor product of functors" helpful and illuminating.

Recently there has been discussion on how effective math.stackexchange.com would be in answering queries at this level. The reports have not been so good.

Tom Leinster comments on "Is the category of elements a coend?" (18363)

Tom Leinster — Thu, 09 Feb 2012 10:26:18 -0800

I suspect such a question would get closed, mostly because the answer is (I believe) "no": the category of elements is not a coend in any useful way. As Harry surmises, you may have been misled by the fact that some people use the integral sign to denote a category of elements, and the integral sign is also used for ends and coends.

There's some sense in which a category of elements is an end. It's a lax limit. But that seems some distance from what you're asking. So, if I were you, I wouldn't ask the question you describe.

Harry Gindi comments on "Is the category of elements a coend?" (18362)

Harry Gindi — Thu, 09 Feb 2012 09:39:02 -0800

No. It's a "Grothendieck construction", which uses the integral symbol as well. Specifically, it's the Grothendieck construction applied to a pseudopresheaf of discrete categories (i.e. sets) (which are the same things as presheaves of sets, since there are no coherence data to speak of).

Also, this is not the correct place to ask this question. Probably a good place to ask something like this is on math.se.

Spice the Bird comments on "Is the category of elements a coend?" (18361)

Spice the Bird — Thu, 09 Feb 2012 08:29:10 -0800

I am trying to understand coends. In order to do this, I would like to show that certain things are in fact coends. In particular if the category of elements is a coend, I would like to prove it for myself. Further, (this is secondary since I could find some of theses in books and papers) any other nice examples that I may show for myself would be great. I do not want any proofs of facts, just the facts, I would like to prove this for myself. If this is an acceptable question, should it be a CW. Thank you for any help.