Dinatural transformation

Encyclopedia : D : DI : DIN : Dinatural transformation

---

In category theory, a dinatural transformation [\alpha] between two functors

[S,T : \mathrm^}\times\mathrm\to\mathrm],

written

[\alpha : S\ddot\to T],

is a function which to every object c of C associates an arrow

[\alpha_c : S(c,c)\to T(c,c)] of X

and satisfies the following coherence property: for every morphism [f:c\to c'] of C the diagram commutes.

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?