* Spans in Bicategories
@ 2010-08-03 1:10 Alex Hoffnung
0 siblings, 0 replies; only message in thread
From: Alex Hoffnung @ 2010-08-03 1:10 UTC (permalink / raw)
To: categories
Hello all,
In Benabou's 1967 paper, he gives the bicategory of spans in a
category with pullbacks as an example of a bicategory. It seems to be
fairly common knowledge that spans in a bicategory with weak pullbacks
form a tricategory (or a bicategory if appropriate isomorphism classes
are taken or fibrations required). If the bicategory has finite
limits there should be a monoidal structure as well.
I know people use these results fairly often, at least at the level of
monoidal bicategories, but does anyone know if there exists a written
account of such a theorem?
Best,
Alex Hoffnung
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-08-03 1:10 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-03 1:10 Spans in Bicategories Alex Hoffnung
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).