Théorie des catégories formelles dans les -équipements II : Foncteurs laxistes, monoïdalité et fibrations

Nous étudions le cadre des -équipements qui est conçu pour produire des théories bien comportées pour différentes généralisations des -catégories de manière synthétique et uniforme. Nous considérons les notions de foncteurs (laxistes) entre ces équipements, les structures monoidales fermées sur ces équipements, et les fibrations internes à ces équipements. Comme principale application, nous démontrerons que les fondements de la théorie des -catégories internes peuvent être facilement obtenus en utilisant ce formalisme.