本文引入了有界格上模糊蕴涵范畴的乘积、余积、均衡器和协均衡器的概念,这些概念导致了极限、拉回、colimit和pushout的存在。在这一类中还引入了同构、monic和epic。然后研究了这个类别的一个子类别,称为骨架。其中任何两个模糊蕴涵都不是$\Phi$-共轭的。
t-范数、模糊蕴涵、范畴、范畴骨架
03B52、03E72