solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看833次
B\'enabou's theorem for pseudoadjunctions. (arXiv:1707.04074v1 [math.CT])
来源于:arXiv
We give a formal account of B\'enabou'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 $\eta$ in a Gray-category K is precisely to give an
absolute left (Kan) pseudoextension $U$ of $1_X$ along $F$ witnessed by $\eta$. 查看全文>>