Processing math: 100%

Natural isomorphism

Collection

context F,G in CD
definiendum η in FG
inclusion η in FG
for all A:ObC
postulate ηA … isomorphsim

Discussion

Reference

Parents

Context

Requirements

Link to graph
Log In
Improvements of the human condition