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
随便看	Descriptivist的意思 descriptivists的意思 descriptivity的意思 descripton的意思 descriptons的意思 descriptor的意思 descriptor approach的意思 descriptor attribute的意思 descriptor attribute matrix的意思 descriptor base的意思 descriptor base register的意思 descriptor block的意思 descriptor chain的意思 descriptor code的意思 descriptor controlled access的意思 descriptor flag的意思 descriptor for a segment的意思 descriptor for readonly data segment的意思 descriptor generator working segment的意思 descriptor index的意思 descriptor indexing的意思 descriptor language的意思 descriptor list的意思 descriptor of substructure的意思 descriptor queue的意思