Bénabou伪随机定理

摘要：

本文在灰色范畴的背景下给出了一个关于伪随机数的Bénabou定理的正式说明。证明了在Gray范畴K中给出单位$η$的伪伴随$F \dashv U: A \to X$，就是给出$η$证明的$1_X$沿$F$的绝对左（Kan）伪扩张$U$.

英文摘要：

We give a formal account of Bénabou's theorem for peudoadjunctions in the context of Gray-categories. We prove that to give a pseudoadjunction $F \dashv U: A \to X$ with unit $η$ in a Gray-category K is precisely to give an absolute left (Kan) pseudoextension $U$ of $1_X$ along $F$ witnessed by $η$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。