Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Is the enriched bicategory of -profunctors considered in the literature anywhere? Here I want to be, say, a complete, cocomplete, closed, symmetric monoidal category; and by enriched bicategory I mean -enriched at the 2-cell level, or, equivalenty, -cat enriched at the hom level.
At the enriched bicategory page, three of the interesting looking references are seemingly unavailable, namely Sean Carmody’s thesis, Steve Lack’s thesis and Alex Hoffnung’s notes. Does anyone know if these are online anywhere? (I realise I could email Steve or Alex, but having links from the nlab page would be even better.)
This ought to be a protoytpical example of a -cat enriched bicategory, and it would be nice if someone has already proved it!
Good question, but I don’t know the answer offhand.
1 to 2 of 2