Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions (Q2121601)

A \textit{distributor} [\textit{J. Bénabou}, Les distributeurs. Rapport no. 33 du Séminaire de Mathématiques Pures. Universite Catholique de Louvain (1973)] \(\varphi:X\nrightarrow Y\) between categories enriched in a commutative quantale [\textit{D. Hofmann} (ed.) et al., Monoidal topology. A categorical approach to order, metric, and topology. Cambridge: Cambridge University Press (2014; Zbl 1297.18001); \textit{G. M. Kelly}, Basic concepts of enriched category theory. Cambridge: Cambridge University Press. London: London Mathematical Society (1982; Zbl 0478.18005); \textit{F. W. Lawvere}, Rend. Semin. Mat. Fis. Milano 43, 135--166 (1974; Zbl 0335.18006); \textit{K. I. Rosenthal}, Quantales and their applications. Harlow: Longman Scientific \& Technical; New York: John Wiley \& Sons, Inc. (1990; Zbl 0703.06007)]. \(V=(V,\otimes,k)\) can be described as a \(V\)-bifunctor \[ \varphi:X^{\mathrm{op}}\otimes Y\rightarrow V \] and it induces three pairs of adjoint \(V\)-functors between the (co)presheaf \(V\)-categories of \(X\) and \(Y\), namely, one Isbell adjunction and two Kan adjunctions [\textit{L. Shen} and \textit{D. Zhang}, Theory Appl. Categ. 28, 577--615 (2013; Zbl 1273.18022)] \begin{align*} \varphi_{\uparrow} & \dashv\varphi^{\downarrow}:(V^{Y})^{\mathrm{op}}\rightarrow V^{X^{\mathrm{op}}}\\ \varphi^{\ast} & \dashv\varphi_{\ast}:V^{X^{\mathrm{op}}}\rightarrow V^{Y^{\mathrm{op}}}\\ \varphi_{\dagger} & \dashv\varphi^{\dagger}:(V^{X})^{\mathrm{op}}\rightarrow(V^{Y})^{\mathrm{op}} \end{align*} The principal objective in this paper is to demonstrate that for every two-variable adjunctions \((X,Y,Z,\circledast,\swarrow,\searrow)\) [\textit{J. W. Gray}, J. Pure Appl. Algebra 19, 127--158 (1980; Zbl 0462.55008); \textit{M. Shulman}, ``Homotopy limits and colimits and enriched homotopy theory'', Preprint, \url{arXiv:math/0610194}] between \(V\)-categories, a \(V\)-functor \[ \varphi:A^{\mathrm{op}}\otimes B\rightarrow Z \] induces an Isbell adjunction Proposition 5.1) \[ \varphi_{\uparrow}\dashv\varphi^{\downarrow}:(X^{B})^{\mathrm{op}}\rightarrow Y^{A^{\mathrm{op}}} \] while \(V\)-functors \begin{align*} \psi & :A^{\mathrm{op}}\otimes B\rightarrow Y\\ \zeta & :A^{\mathrm{op}}\otimes B\rightarrow X \end{align*} induce Kan adjunctions \begin{align*} \psi^{\ast} \dashv\psi_{\ast} &:Z^{A^{\mathrm{op}}}\rightarrow X^{B^{\mathrm{op}}}\\ \zeta_{\dagger} \dashv\zeta^{\dagger} &:(Y^{A})^{\mathrm{op} }\rightarrow(Z^{B})^{\mathrm{op}} \end{align*} respectively (Proposition 5.3). The principal results in this paper are concerned with the representation theorems for fixed points of Isbell adjunctions and Kan adjunctions, whose precursors can be found in the fileds of \textit{formal concept analysis} (FCA) [\textit{B. A. Davey} and \textit{H. A. Priestley}, Introduction to lattices and order. Cambridge etc.: Cambridge University Press (1990; Zbl 0701.06001); \textit{B. Ganter} and \textit{R. Wille}, Formal concept analysis. Mathematical foundations. Transl. from the German by Cornelia Franzke. Berlin: Springer (1999; Zbl 0909.06001)] and \textit{rough set theory} (RST) [\textit{Z. Pawlak}, Int. J. Comput. Inform. Sci. 11, 341--356 (1982; Zbl 0501.68053); \textit{L. Polkowski}, Rough sets. Mathematical foundations. Heidelberg: Physica-Verlag (2002; Zbl 1040.68114); \textit{A. Popescu}, Math. Log. Q. 50, No. 3, 265--280 (2004; Zbl 1059.03015)]. If \((X,Y,Z,\circledast,\swarrow,\searrow)\) is a two-variable adjunction between \textit{complete} \(V\)-categories, then fixed points of \(\varphi _{\uparrow}\dashv\varphi^{\downarrow}\), \(\psi^{\ast}\dashv\psi_{\ast}\), and \(\zeta_{\dagger}\dashv\zeta^{\dagger}\) constitute complete \(V\)-categories \(M\varphi\), \(K\psi\) and \(K^{\dagger}\zeta\), which are characterized in Theorem 6.2 and Corollaries 6.6 and 6.7.