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.
New page: bicategory of maps.
Nice, thank you. I added a bit. Are you going to also include the characterization of bicategories of spans, since you added a link to that paper?
Thanks for the additions (and the redirects!). I’ve added an extra sentence summarizing Lack–Walters–Wood’s main result, but there’s a lot more to say. I should get around to expanding it next week (though that’s not meant to discourage anyone else from doing it!).
The bit about the universal equipment on a bicategory is interesting. Would it make sense to say that, for an equipment $K \to M$, the equipment $Map M \to M$ is its ’objectwise Cauchy completion’?
Yes, I think it might make sense to view the construction of $Map M \to M$ from $K\to M$ as first “adjoining Cauchy completions for all objects,” then restricting to the subcategory of Cauchy complete objects. However, I don’t know exactly what the first operation would mean all by itself.
I’ve added another sentence about Lack et. al.’s result (yes, I work slowly). There’s more to be said about Frobenius and separable objects, and about comonads and their relationship to idempotents in allegories, but that’ll take some more figuring out, and might fit better on other pages.
1 to 5 of 5