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 Deconstructing Cosmology by
Cover of the book Modern Statistical Methods for Astronomy by
Cover of the book A History of Aerodynamics by
Cover of the book Great Transformations by
Cover of the book Asian Slaves in Colonial Mexico by
Cover of the book Methods of Mathematical Physics by
Cover of the book Popular Governance of Post-Conflict Reconstruction by
Cover of the book Ecosystem Ecology by
Cover of the book An Introduction to Language and Linguistics by
Cover of the book Beyond Elite Law by
Cover of the book The Cambridge Companion to Chomsky by
Cover of the book The Cambridge Encyclopedia of Darwin and Evolutionary Thought by
Cover of the book A History of East Asia by
Cover of the book Empires of the Mind by
Cover of the book Fact-Finding before the International Court of Justice 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