the other class of the categories is that whose morphisms are the functions preserving directed sups but whose objects are different.

• 另一类是以保定向并映射为态射而对象不同的范畴.