5 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)$…

Appearance-belief adjunction conjecture. Appearance should be left adjoint to belief:

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…

A 2-fibration is a 2-categorical fibration of the kind discussed in the surrounding results, with its associated correspondence of adjunctions. General 2-fibration conjecture. The…

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…