Category Theory For The Sciences

Author: David I. Spivak
Publisher: MIT Press
ISBN: 0262028131
Size: 26.35 MB
Format: PDF, Mobi
View: 6751
Download Read Online
This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

Category Theory For The Sciences

Author: David I. Spivak
Publisher: MIT Press
ISBN: 0262320533
Size: 55.75 MB
Format: PDF, Mobi
View: 3364
Download Read Online
This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

Basic Category Theory For Computer Scientists

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262660716
Size: 60.86 MB
Format: PDF, ePub
View: 6676
Download Read Online
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed ...

Inventing The Medium

Author: Janet H. Murray
Publisher: MIT Press
ISBN: 0262302802
Size: 73.39 MB
Format: PDF, Docs
View: 1074
Download Read Online
With Inventing the Medium, Janet Murray provides a unified vocabulary and a common methodology for the design of digital objects and environments.

Tool And Object

Author: Ralph Krömer
Publisher: Springer Science & Business Media
ISBN: 3764375248
Size: 67.12 MB
Format: PDF, ePub
View: 2547
Download Read Online
This book describes the history of category theory whereby illuminating its symbiotic relationship to algebraic topology, homological algebra, algebraic geometry and mathematical logic and elaboratively develops the connections with the ...

Basic Category Theory

Author: Tom Leinster
Publisher: Cambridge University Press
ISBN: 1107044243
Size: 45.92 MB
Format: PDF, Docs
View: 3081
Download Read Online
A short introduction ideal for students learning category theory for the first time.

Conceptual Mathematics

Author: F. William Lawvere
Publisher: Cambridge University Press
ISBN: 0521894859
Size: 76.92 MB
Format: PDF, Mobi
View: 221
Download Read Online
This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics.

Types And Programming Languages

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Size: 41.10 MB
Format: PDF, Mobi
View: 977
Download Read Online
Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - ...