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
随便看	circulant matrix eigenvector的意思 circulant的意思 circular的意思 circular absorption的意思 circular acceleration的意思 circular accelerator的意思 circular adsorption chromatogram的意思 circular adsorption chromatography的意思 circular air cushion的意思 circular air cushion for colostomy bags的意思 circular airgram的意思 circular air grid的意思 circular air mattress的意思 circular amputation的意思 circular anesthesia的意思 circular angle of obliguity的意思 circular angle of obliquity的意思 circular antenna的意思 circular aperture的意思 circular aperture antennas的意思 circular aperture distribution的意思 circular aperture picket fence reticle的意思 circular approach的意思 Circular arc的意思 circular arc airfoil的意思