Related Books

Topology Via Logic
Language: en
Pages: 224
Authors: Steven Vickers
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students
Frames and Locales
Language: en
Pages: 412
Authors: Jorge Picado
Categories: Mathematics
Type: BOOK - Published: 2011-10-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited sinc
Topology
Language: en
Pages: 167
Authors: Tai-Danae Bradley
Categories: Mathematics
Type: BOOK - Published: 2020-08-18 - Publisher: MIT Press

DOWNLOAD EBOOK

A graduate-level textbook that presents basic topology from the perspective of category theory. This graduate-level textbook on topology takes a unique approach
A Combinatorial Introduction to Topology
Language: en
Pages: 340
Authors: Michael Henle
Categories: Mathematics
Type: BOOK - Published: 1994-01-01 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Excellent text covers vector fields, plane homology and the Jordan Curve Theorem, surfaces, homology of complexes, more. Problems and exercises. Some knowledge
Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK