Monoidal topology is an approach to categorical topology based in monads and quantales. Motivated by the representation of topological spaces as lax relational algebras for the ultrafilter monad on the category of sets, it replaces the ultrafilter monad with an arbitrary monad T, and the two-element chain with a unital quantale V, thereby getting the construct (T,V)-Cat of (T,V)- categories and (T,V)-functors. Examples of these constructs include the categories of topological space, preordered sets, (probabilistic) metric spaces, closure spaces, and approach spaces. The constructs (T,V)-Cat also have convenient properties, e.g., are topological.
The lectures will introduce the constructs (T,V)-Cat in full detail; show how to incorporate the above-mentioned examples in their framework; describe their basic properties; and consider an example of the application of their theory to general topology, i.e., a generalization of the Kuratowski- Mrowka theorem on the equivalence between the concepts of proper and perfect map.