摘要
本文证明了在具有条件（S）的半单关联BCK—代数中，f是满态射当且仅当f是满同态。
In the note we prove that in the category of semisimpl implicative BCK-algebras with the condition (S ), f is an epimorphism if and onlg if is an surjective homomorphism.
出处
《漳州师院学报》
1994年第4期16-21,共6页
Journal of ZhangZhou Teachers College（Philosophy & Social Sciences)
关键词
BCK代数
范畴
满态射
S-SI-BCK代数
BCK-algebra with the condition (S), Semisimple (implicative, positive implicative) BCK-algebra, Category,homomorphism
