  In some bicategories, the 1-cells are `morphisms' between the 0-cells, suchas functors between categories, but in others they are `objects' over the0-cells, such as bimodules, spans, distributors, or parametrized spectra. Manybicategorical notions do not work well in these cases, because the `morphismsbetween 0-cells', such as ring homomorphisms, are missing. We can include themby using a pseudo double category, but usually these morphisms also induce basechange functors acting on the 1-cells. We avoid complicated coherence problemsby describing base change `nonalgebraically', using categorical fibrations. Theresulting `framed bicategories' assemble into 2-categories, with attendantnotions of equivalence, adjunction, and so on which are more appropriate forour examples than are the usual bicategorical ones.  We then describe two ways to construct framed bicategories. One is ananalogue of rings and bimodules which starts from one framed bicategory andbuilds another. The other starts from a `monoidal fibration', meaning aparametrized family of monoidal categories, and produces an analogue of theframed bicategory of spans. Combining the two, we obtain a construction whichincludes both enriched and internal categories as special cases.
We can include them by using a pseudo double category, but usually these morphisms also induce base change functors acting on the 1-cells. We avoid complicated coherence problems by describing base change `nonalgebraically', using categorical fibrations.