Jump to content

Talk:Span (category theory)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Untitled

[edit]

Is there any reason to define span and cospan the way it is done initially in this article, before defining them as "diagrams of the form Y <--- X ---> Z" and "Y ---> X <--- Z"? The latter is the the one that makes sense...why throw in a functor to start off with? I am considering reversing the order in which these two definitions are given in the article...does anyone object? — Preceding unsigned comment added by MorphismOfDoom (talkcontribs) 16:10, 4 May 2017 (UTC)[reply]