natural_isomorphism

Processing math: 100%

Natural isomorphism

Collection

context	$F,G$ in ${\bf C}\longrightarrow{\bf D}$
definiendum	$\eta$ in $F\cong G$
inclusion	$\eta$ in $F\xrightarrow{\bullet}G$
for all	$A:\mathrm{Ob}_{\bf C}$
postulate	$\eta_A$ … isomorphsim

Discussion

Reference

Wikipedia: Natural transformation

Parents

Context

Requirements

Natural transformation, Isomorphism