3 problems

Let ${\mathsf{Vect}}_{\operatorname{inj}}$ be the category of finite-dimensional real vector spaces and injective linear maps, and let ${\mathsf{AdjCat}}_n$ denote the $(\infty,1)$…

Let $\mathcal{E}$ be a Grothendieck topos, and let $\omega \leq \lambda \leq \kappa$. Relative Scott adjunction conjecture. There is a $2$-adjunction … Moreover, if $\mathcal{E}$ i…

Let $\operatorname{Cat}^{\triangleq}$ be the category whose objects are categories and whose morphisms are the adjunction-based morphisms described in the source. A category is con…