Monoidal topology: a categorical approach to order, metric and 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 co...

Full description

Saved in:
Bibliographic Details
Other Authors: Hofmann, Dirk 1970- (Editor), Seal, Gavin J. (Editor), Tholen, W. 1947- (Editor)
Format: Electronic eBook
Language:English
Published: Cambridge Cambridge University Press 2014
Series:Encyclopedia of mathematics and its applications volume 153
Subjects:
Online Access:BSB01
FHN01
Volltext
Summary: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
Item Description:Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Physical Description:1 online resource (xvii, 503 pages)
ISBN:9781107517288
DOI:10.1017/CBO9781107517288

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text