Hi Mike, how about Stephen Lack, R.F.C Walters, R.J. Wood, Bicategories of Spans as cartesian bicategories, submitted to Theory and Applications of Categories. (available from http://arxiv.org/abs/0910.2996) David [Note from moderator: The article cited has appeared as Vol 24 #1 of TAC.] On 11 January 2011 09:48, Mike Stay <metaweta@gmail.com> wrote:

Can anyone provide a reference for the fact that given a category C with pullbacks and finite products, you get a monoidal bicategory Span(C)? -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]