[Reason for new thread: to all appearances, tricategory did not have one of its own, despite tetracategory having one]
(Updated reference to a representability theorem in arXiv:0711.1761v2 on tricategory; what was Theorem 21 in arXiv:0711.1761v1 has become Theorem 24 in arXiv:0711.1761v2 and its journal version)
]]>Is the category Hom of bicategories with homomorphisms as the morphisms, in the sense of
Ross Street, Fibrations in bicategories, Cahiers de topologie et géométrie différentielle catégoriques, tome 21, no 2 (1980), p. 111-160
already (recognizably) documented on the nLab ? (I did a sem-cursory search in this respect, but did not find it documented (in its own right, I mean, the article of Street appears.)
Should it be?
Should it have an article of its own?
To me it seems it should (my motivation is that I am using and documenting bicategories currently, and are studying Street’s 1980 paper as a sort of background reading to Garner–Shulman, Adv. Math. 289), but its traditional name Hom seems unfortunate, creating yet another meaning of Hom.
My suggestion would be to call it (and its article)
]]>