Displayed Bicategory of Displayed Categories
As the name suggests, the displayed bicategory of displayed categories is the Displayed Bicategory formed by Displayed Categories, Displayed Functors, and Displayed Natural Transformations.
As the name suggests, the displayed bicategory of displayed categories is the Displayed Bicategory formed by Displayed Categories, Displayed Functors, and Displayed Natural Transformations.