Robuta

https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.DisplayedBicats.Examples.CwF.html UniMath.Bicategories.DisplayedBicats.Examples.CwF bicategories examples cwf https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.DisplayedBicats.Examples.CategoriesWithStructure.ParameterizedNNO.html UniMath.Bicategories.DisplayedBicats.Examples.CategoriesWithStructure.ParameterizedNNO bicategories examples https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.DisplayedBicats.FiberBicategory.FiberBicategory2.html UniMath.Bicategories.DisplayedBicats.FiberBicategory.FiberBicategory2 bicategories https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.DisplayedBicats.Examples.ContravariantFunctor.html UniMath.Bicategories.DisplayedBicats.Examples.ContravariantFunctor bicategories examples https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.DisplayedBicats.Examples.Reindex.html UniMath.Bicategories.DisplayedBicats.Examples.Reindex bicategories examples reindex