End (category theory)

（重定向自Coend）

In category theory, an end of a functor $S:\mathbf{C}^{\mathrm{op}}\times\mathbf{C}\to \mathbf{X}$ is a universal extranatural transformation from an object e of X to S.

More explicitly, this is a pair $(e,\omega)$ , where e is an object of X and

is an extranatural transformation such that for every extranatural transformation

单词	Coend
释义	Coend 英语百科 End (category theory) （重定向自Coend） In category theory, an end of a functor $S:\mathbf{C}^{\mathrm{op}}\times\mathbf{C}\to \mathbf{X}$ is a universal extranatural transformation from an object e of X to S. More explicitly, this is a pair $(e,\omega)$ , where e is an object of X and is an extranatural transformation such that for every extranatural transformation
随便看	steric stabilization Steric strain steric structure sterid steride sterides sterid nuclei sterie steriflame process steriflame sterilization steriflame sterilizer steriflame sterillizer steriflame vac sterilization steriflamme process sterigma sterigmaocystin Sterigmaocystis Sterigmata sterigmate sterigmatic sterigmatobotrys annulata sterigmatobotrys uniseptata sterigmatocystin Sterigmatocystis Sterigmatocystis cinnamomina