Natural isomorphism
Collection
context | F,G in C⟶D |
definiendum | η in F≅G |
inclusion | η in F∙→G |
for all | A:ObC |
postulate | ηA … isomorphsim |
Discussion
Reference
Wikipedia: Natural transformation
context | F,G in C⟶D |
definiendum | η in F≅G |
inclusion | η in F∙→G |
for all | A:ObC |
postulate | ηA … isomorphsim |
Wikipedia: Natural transformation