https://intlibrary.ir/download/formal-category-theory:-adjointness-for-2-categori-25945/