Category Theory For The Sciences

Author: David I. Spivak
Publisher: MIT Press
ISBN: 0262028131
Size: 25.86 MB
Format: PDF, Mobi
View: 2271
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: 17.60 MB
Format: PDF, ePub
View: 7381
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 ...

An Introduction To Category Theory

Author: Harold Simmons
Publisher: Cambridge University Press
ISBN: 1139503324
Size: 48.14 MB
Format: PDF
View: 3851
Download Read Online
Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory.

Category Theory

Author: Steve Awodey
Publisher: Oxford University Press
ISBN: 0199587361
Size: 11.16 MB
Format: PDF, ePub
View: 2622
Download Read Online
Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.

Conceptual Mathematics

Author: F. William Lawvere
Publisher: Cambridge University Press
ISBN: 0521894859
Size: 26.79 MB
Format: PDF, Kindle
View: 5837
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.

Categories Types And Structures

Author: Andrea Asperti
Publisher: MIT Press (MA)
ISBN: 9780262121453
Size: 66.82 MB
Format: PDF, ePub, Mobi
View: 6280
Download Read Online
This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.

Basic Category Theory

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

Inventing The Medium

Author: Janet H. Murray
Publisher: MIT Press (MA)
ISBN: 9780262016148
Size: 13.48 MB
Format: PDF, ePub
View: 3920
Download Read Online
About ordering and building information, in games, libraries, encyclopedias. Meant for anyone "whose work involves shaping new digital artifacts and the systems of behavior in which they are embedded".

Sets For Mathematics

Author: F. William Lawvere
Publisher: Cambridge University Press
ISBN: 9780521010603
Size: 24.27 MB
Format: PDF, ePub, Mobi
View: 3273
Download Read Online
In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.

Semantic Cognition

Author: Timothy T. Rogers
Publisher: MIT Press
ISBN: 9780262182393
Size: 73.29 MB
Format: PDF, Mobi
View: 3331
Download Read Online
A mechanistic theory of the representation and use of semantic knowledge that uses distributed connectionist networks as a starting point for a psychological theory of semantic cognition.