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.
I created cograph of a profunctor and added some references to it at cograph of a functor. All the cograph pages could probably use some unifying work.
Often called the collage of a bimodule/profunctor?
Or sometimes, at least. Is that very common? I recall one paper of Street's that uses "collage" to mean "lax colimit". I've never been clear what the advantage is of a new word (whose meaning you have to remember) over "lax colimit."
I prefer "cograph" as "graph" is nicely descriptive and standard, and "cograph" the evident dualization.
If "collage" is what other people use I'd be in favor of saying so prominently at the beginning of the entry, but leave the entry title as "cograph". I think the fact that there is a notion of "cograph" is quite pleasing.
I agree that "cograph" is a better name for it, but I did hear "collage" a certain amount when I was in Australia [from Street and Verity, maybe Kelly too], and I thought I had also seen it used by Johnstone and Carboni (in their paper on Artin gluing and parametric representability) but maybe my memory deceives me here. I agree with Urs that the usage should be noted.
added to cograph of a profunctor details on the -categorical case and linked to inner fibration.
1 to 7 of 7