Search results

* Let <math>\Phi, \Psi : \mathcal C \to \mathcal D</math> be functors. Let us define the <math>\eta : \Phi \to \Psi</math> natural transformation. It associates to each object of <math>\mathc