Monoidal Topology
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.
- A novel, unified approach to a subject that is central to many areas of mathematics and computer science
- Includes a 'crash course' for readers with no or limited background in category theory
- Gives pointers to the literature for further reading
Product details
July 2014Adobe eBook Reader
9781139990998
0 pages
0kg
225 exercises
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
- Preface
- 1. Introduction Robert Lowen and Walter Tholen
- 2. Monoidal structures Gavin J. Seal and Walter Tholen
- 3. Lax algebras Dirk Hofmann, Gavin J. Seal and Walter Tholen
- 4. Kleisli monoids Dirk Hofmann, Robert Lowen, Rory Lucyshyn-Wright and Gavin J. Seal
- 5. Lax algebras as spaces Maria Manuel Clementino, Eva Colebunders and Walter Tholen
- Bibliography
- Tables
- Index.