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 'Troilus and Criseyde' by
Cover of the book The Law of International Lawyers by
Cover of the book Regulating Government Ethics by
Cover of the book Free Trade and Sailors' Rights in the War of 1812 by
Cover of the book The Political Economy of European Security by
Cover of the book The Eschatology of 1 Peter by
Cover of the book Perspectives on Patentable Subject Matter by
Cover of the book Affectionate Communication in Close Relationships by
Cover of the book Liberalism and the Limits of Justice by
Cover of the book Lifetime Disadvantage, Discrimination and the Gendered Workforce by
Cover of the book The Child in International Refugee Law by
Cover of the book Literature, Language, and the Rise of the Intellectual Disciplines in Britain, 1680–1820 by
Cover of the book Debates in Values-Based Practice by
Cover of the book Business Ethics for a Material World by
Cover of the book Language Contact in Europe 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