added the identity functor
added natural transformations