Then it inspects and proves that the category CBF of consistently bifinite domains with Scott-continuous function is Cartesian closed in terms of category theory.

• 并从范畴学的角度考察证明了以相容双有限domain为对象；Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.