Proposition (Trace respects double symmetry)
(for
f :
V
W
and
g :
X
U A
Y
U A
in C):
= | ||
TrX Y A (g)
![]() | = |
Tr(X ![]() ![]() ![]() ![]() ![]() |
= | (Acyclic graph iso) | |
= | (Strength of Tr) | |
= | (Naturality of Tr) | |
= | (Acyclic graph iso) |