严格初始函子

strictly initial functor