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

Functor

Requirements

Natural transformation, Isomorphism