Key points are not available for this paper at this time.
This text is dedicated to the development of the theory of (, ) -categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co) limits and lax Kan extensions, among others.
Félix Loubaton (Sat,) studied this question.