# endobifunctor

Motivated by topology, we develop a general theory of traces and shadows in an endobicategory, which is a bicategory ${\displaystyle \mathbf {C} }$ with an endobifunctor ${\displaystyle \Sigma \colon \mathbf {C} \to \mathbf {C} }$.