Functorial Calculus in Monoidal Bicategories

摘要

The definition and calculus of extraordinary natural transformation is extended to a context internal to any autonomous monoidal bicategory. The original calculus is recaptured from the geometry of the monoidal bicategory V-Mod whose objects are categories enriched in a cocomplete symmetric monoidal category V and whose morphisms are modules.