Enriched logical connections (Q2392097): Difference between revisions

In the setting of enriched category theory, the authors study dual adjunctions between ``spaces'' and ``algebras''. Both spaces and algebras are equipped with faithful functors \(U:\mathrm{Alg}\to [\mathcal A,\mathcal V]\) and \(V:\mathrm{Spa}\to [\mathcal S,\mathcal V]\) where \(\mathcal A\) and \(\mathcal S\) are small \(\mathcal V\)-categories. These adjunctions are called enriched logical connections -- this terminology goes back to [\textit{D. Pavlovic} et al., Lect. Notes Comput. Sci. 4019, 308--322 (2006; Zbl 1236.68065)]. They were often studied in the case \(\mathcal V= \mathrm{Set}\), e.g., in [\textit{H. E. Porst} and \textit{W. Tholen}, Res. Expo. Math. 18, 111--136 (1991; Zbl 0761.18001)].