单纯端omorphism

单纯端omorphism 的单半群，即单纯范畴中端omorphism 的单半群，是人们在 Temperley-Lieb 代数中发现的单半群的子半群；并且由于 Temperley-Lieb 代数的单半群与自伴函子（endofunctor adjoint to itself）的情形相关联，单纯端omorphism 的单半群也因此与任意伴随情形相关联。这一联系通过 Temperley-Lieb 代数中出现的那类图式建立。此前在一定程度上预示过的关于这些问题的结果，在此予以综述与重述。由生成元与关系给出单纯端omorphism 单半群的表示已久已给出。此处给出一个紧密相关的表示，并以一种全新且自包含的方式证明了完备性。