论文标题
isbell二元性
Isbell Duality
论文作者
论文摘要
数学家喜欢二元性。经过二元性的简要说明，并以例子为例，我们转向了最纯粹，最美丽的之一：Isbell二元性。对于任何类别$ \ MATHSF {C} $，这在$ \ Mathsf {C} $上的预示类别之间提供了邻接，即函数类别$ [\ MATHSF {c}^{c}^{\ text {op text {op}}} $ \ Mathsf {C} $，即$ [\ Mathsf {C}，\ Mathsf {set}]^{\ text {op}} $。
Mathematicians love dualities. After a brief explanation of dualities, with examples, we turn to one of the purest and most beautiful: Isbell duality. For any category $\mathsf{C}$, this gives an adjunction between the category of presheaves on $\mathsf{C}$, namely the functor category $[\mathsf{C}^{\text{op}}, \mathsf{Set}]$, and the opposite of the category of copresheaves on $\mathsf{C}$, namely $[\mathsf{C}, \mathsf{Set}]^{\text{op}}$.
