Abstract:This dissertation is devoted to a study of adjunctions concerning categories enriched over a quantaloid Q (or Q-categories for short), with the following types of adjunctions involved: (1) adjoint functors between Q-categories; (2) adjoint distributors between Q-categories; (3) adjoint functors between categories consisting of Q-categories. For a small quantaloid Q and a distributor between Q-categories, two adjunctions between the Q-categories of contravariant and covariant presheaves are presented. These adjunctions respectively extend the fundamental construction of Isbell adjunctions and Kan extensions in category theory, so, they will be called the Isbell adjunction and Kan adjunction, respectively. The functoriality of these constructions is the central topic of this dissertation. In order to achieve this, infomorphisms between distributors are introduced to organize distributors (as objects) into a category. Then we proceed as follows: first, the Isbell adjunction and Kan adjunction associated with each distributor between Q-categories give rise to two monads, which are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to the category of Q-closure spaces; second, it is shown that the assignments of a distributor to the fixed points of the two monads are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to that of skeletal complete Q-categories and left adjoint functors. As consequences of the functoriality of the above processes, three factorizations of the free cocompletion functor of Q-categories are presented. Finally, as applications, the theory of formal concept analysis and that of rough sets are extended to theories based on fuzzy relations between fuzzy sets.

Adjoint Relations for the Category of Local Dcpos

Functors on relational structures which admit both left and right adjoints

Left adjoint to precomposition in elementary doctrines

Adjoint functor theorems for lax-idempotent pseudomonads

Directed Completions of Local Dcpos

Doi-Hopf Modules, Yetter-Drinfel'D Modules And Frobenius Type Properties

Adjunctions in Quantaloid-enriched Categories

Alternative Doi-Hopf Modules over Weak Hopf Algebras

Free algebras over directed spaces

Monadic functors forgetful of (dis)inhibited actions

Partially Ordered Sheaves on a Locale. I (II)

Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes

Topological representations for frame-valued domains via $L$-sobriety

Posets arising from decompositions of objects in a monoidal category

Left Bousfield localization without left properness

Generalization of formal monad theory to lax functors

Identity in the presence of adjunction

The Auslander-Gruson-Jensen Recollement

Logical Structure on Inverse Functor Categories

Relative fixed points of functors

Locally adjointable operators on Hilbert $C^*$-modules