אנגלית ⇄ סינית +

strictly initial functor
.טֶכנו	严格初始函子