添加新标签
严格初始函子

_

strictly initial functor
Warning: Not approved!