排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows:
the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity;
this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor’s
exponentiability follows from the works of Niefield (J. Pure Appl. Algebra 23:147–167, 1982) and Dyckhoff and Tholen (J. Pure Appl. Algebra 49:103–116, 1987).
相似文献
2.
Qiang Pu Dexue Zhang 《Fuzzy Sets and Systems》2012,187(1):1-32
Let M=(L,*) be a GL-monoid. An M-valued preordered set is an L-subset endowed with a reflexive and M-transitive L-relation, it is essentially a category enriched in a quantaloid generated by M. This paper presents a study of M-valued preordered sets with emphasis on symmetrization and the Cauchy completion. The main result states that symmetrization and the Cauchy completion of M-valued preordered sets commute up to a natural isomorphism. 相似文献
3.
1