Talk:Span (category theory)
|WikiProject Mathematics||(Rated Start-class, Low-importance)|
|Sources for development of this article may be located at|
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?