Monoidal Topology: A Categorical Approach to Order, Metric, and Topology
Book information
Description
Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafilter convergence with Lawvere's interpretation of metric spaces as small categories enriched over the extended real half-line. Hence, equipped with a quantale V (replacing the reals) and a monad T (replacing the ultrafilter monad) laxly extended from set maps to V-valued relations, the book develops a categorical theory of (T,V)-algebras that is inspired simultaneously by its metric and topological roots. The book highlights in particular the distinguished role of equationally defined structures within the given lax-algebraic context and presents numerous new results ranging from topology and approach theory to domain theory. All the necessary pre-requisites in order and category theory are presented in the book.
Similar books
Monoidal Topology: A Categorical Approach to Order, Metric, and Topology
2014 · PDF
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory
2003 · PDF
Galois theory, Hopf algebras, and semiabelian categories
2004 · DJVU
Galois theory, Hopf algebras, and semiabelian categories
2004 · DJVU
Galois theory, Hopf algebras, and semiabelian categories
2004 · PDF
Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
1995 · DJVU
Categorical foundations: special topics in order, topology, algebra, and Sheaf theory
2003 · DJVU
Categorical foundations: Special topics in order, topology, algebra, and sheaf theory
2003 · DJVU