* spans in 2-categories
@ 2008-08-19 14:45 John Baez
0 siblings, 0 replies; only message in thread
From: John Baez @ 2008-08-19 14:45 UTC (permalink / raw)
To: categories
Dear Categorists -
Given a category C with pullbacks we can define a bicategory Span(C)
where objects are objects of C, morphisms are spans - composed
using pullback - and 2-morphisms are maps between spans.
Have people tried to categorify this yet?
Suppose we have a 2-category C with pseudo-pullbacks. Then we should
be able to define a tricategory Span(C). Has someone done this?
Or maybe people have gotten some partial results, e.g. in the case
where C = Cat. I'd like to know about these!
Best,
jb
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-08-19 14:45 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-08-19 14:45 spans in 2-categories John Baez
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).