CAP_project
CAP_project copied to clipboard
propagate properties of natural transformations to their components
properties of natural transformations should be propagated to their components (but not vice versa).