Talk:Span (category theory)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Importance
 Field:  Algebra

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?