FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


 Title An Invitation to Applied Category Theory: Seven Sketches in Compositionality
 Author(s) Brendan Fong, David I Spivak
 Publisher: Cambridge University Press (2019); eBook (Arxiv.org, MIT OpenCourse)
 License: arXiv License, MIT OpenCourse Term
 Paperback 348 pages
 eBook PDF
 Language: English
 ISBN10/ASIN: 1108711820
 ISBN13: 9781108711821
 Share This:
Book Description
Category Theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry.
By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force.
This book offers a selfcontained tour of applied category theory. Each chapter follows a single thread motivated by a realworld application and discussed with categorytheoretic tools.
We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of universitylevel mathematics.
About the Authors Brendan Fong is a postdoctoral associate in the Department of Mathematics at MIT.
 David I. Spivak is a research scientist in the Department of Mathematics at MIT.
 Category Theory
 Algebra, Abstract Algebra, and Linear Algebra, etc.
 Graph Theory
 Applied Mathematics
 Functional Programming and Lambda
 Database Theory and Systems
 An Invitation to Applied Category Theory: Seven Sketches in Compositionality
 The Mirror Site (1)  PDF
 MIT Open Courseware Edition  Video Lectures and PDF

Computational Category Theory (David E. Rydeheard,, et al.)
This book is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. It it proceeds from algorithm to algorithm until all of elementary category theory is laid out in precise computational form.

Category Theory for the Sciences (David I. Spivak)
Using databases as an entry to Category Theory, this book explains category theory by examples, and shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

Category Theory for Programmers (Bartosz Milewski)
In this category theory for programmers, the author illustrates all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power.

Category Theory: A Programming Language Oriented Introduction
This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambdacalculus and categories.

Category Theory for Computing Science (Michael Barr, et al.)
This book is a textbook in basic category theory, written specifically to be read by people in computing science. It expounds the constructions we feel are basic to category theory in the context of examples and applications to computing science.

Category Theory in Context (Emily Riehl)
This book introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, Kan extensions, and other topics.

Topology: A Categorical Approach (TaiDanae Bradley, et al)
A graduatelevel textbook that presents basic topology from the perspective of category theory. Many graduate students are familiar with the ideas of pointset topology and they are ready to learn something new about them.

Basic Category Theory (Tom Leinster)
Assuming little mathematical background, this short introduction to Category Theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time.

Categories, Types, and Structures (Andrea Asperti, et al)
This book introduces Category Theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. It pursues the more complex mathematical semantics of data types and programs.

Categorical Homotopy Theory (Emily Riehl)
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. It helps consolidate and simplify one's understanding of derived functors, homotopy limits and colimits, and model categories, among others.

Higher Topos Theory (Jacob Lurie)
This book presents the foundations of Higher Topos Theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

Programming in MartinLof's Type Theory: An Introduction
This book focuses on the type theory developed by Per MartinLof. It contains a thorough introduction to the MartinLof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
:






















