Monoidal Topology

A Categorical Approach to Order, Metric, and Topology

Nonfiction, Science & Nature, Mathematics, Topology, Logic
Cover of the book Monoidal Topology by , Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781139986366
Publisher: Cambridge University Press Publication: July 31, 2014
Imprint: Cambridge University Press Language: English
Author:
ISBN: 9781139986366
Publisher: Cambridge University Press
Publication: July 31, 2014
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book The Tudor Occupation of Boulogne by
Cover of the book Ecosystem Services by
Cover of the book Militarization and Violence against Women in Conflict Zones in the Middle East by
Cover of the book Viewpoint in Language by
Cover of the book Breast Cytohistology by
Cover of the book Monitoring in Anesthesia and Perioperative Care by
Cover of the book Titus Andronicus by
Cover of the book Virtuous Violence by
Cover of the book Science and the Precautionary Principle in International Courts and Tribunals by
Cover of the book Icebergs by
Cover of the book Commentary on Thomas Aquinas's Treatise on Law by
Cover of the book Language in the British Isles by
Cover of the book The First of the Modern Ottomans by
Cover of the book Biblical Blaspheming by
Cover of the book First Language Acquisition by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy