通过Quantale-富集的二元伴随函子构造Isbell伴随与Kan伴随
Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions
AI总结:
本文在交换quantale富集范畴框架下,证明二元伴随函子可构造函子范畴间的Isbell伴随,且Kan伴随是其特例,同时建立了这类伴随函子不动点的表示定理。
摘要:
研究表明,交换quantale富集范畴中的每一个二元伴随函子,都可作为基构造函子范畴间的Isbell伴随,而Kan伴随恰是由合适的关联二元伴随函子构造出的Isbell伴随。本文还建立了这些伴随函子不动点的表示定理。
英文摘要:
It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions constructed from suitable associated two-variable adjunctions. Representation theorems are established for fixed points of these adjunctions.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。