Displayed Bicategory of Cartesian Fibrations

The displayed bicategory of cartesian fibrations is the Displayed Bicategory formed by Cartesian Fibrations, Fibred Functors, and Displayed Natural Transformations.