inclusion function function identity function endofunctor constant function involution identity endomorphism extensionality inclusion