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 What They Saw in America by
Cover of the book Bioethics and Disability by
Cover of the book Religion at Work in a Neolithic Society by
Cover of the book The Cambridge Companion to Twentieth-Century British and Irish Women's Poetry by
Cover of the book Artists and Signatures in Ancient Greece by
Cover of the book Teen Talk by
Cover of the book Theory and Practice in Aristotle's Natural Science by
Cover of the book Kant's Lectures on Ethics by
Cover of the book An Illustrated Guide to Relativity by
Cover of the book Technical Ekphrasis in Greek and Roman Science and Literature by
Cover of the book Regimes of Ethnicity and Nationhood in Germany, Russia, and Turkey by
Cover of the book The Cambridge Companion to Bunyan by
Cover of the book Resolving Land Disputes in East Asia by
Cover of the book Earthquake Time Bombs by
Cover of the book John Locke's Political Philosophy and the Hebrew Bible 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