• Free eBooks
  • Category Theory for Programmers by Bartosz Milewski

Category Theory for Programmers by Bartosz Milewski

 
0.0 (0)
41
11544

Ebook Details

Author
Bartosz Milewski
Publisher
unglue.it 2017
Size
21MB
Format
PDF
Number of pages
510

Category theory is the kind of math that is particularly well suited for the minds of programmers. 

It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming. I will illustrate all major concepts using computer code.

Related Ebooks

Lectures on Modular Functions of One Complex Variable by H. Maass
 
0.0 (0)
Author: H. Maass
The book provides an introduction to the theory of modular functions and modular forms and may be described as elementary, in as much as basic facts from the theory...
Lectures on Riemann Matrices by C.L. Siegel
 
0.0 (0)
Author: C.L. Siegel
In this course of lectures, we shall be concerned with a systematic study of Riemann matrices which arise in a natural way from the theory of abelian functions. ...
Coalgebras and Modal Logic by Alexander Kurz
 
0.0 (0)
Author: Alexander Kurz
Whereas algebras are used to model abstract data types, coalgebras are used to model dynamic, state based systems.
Basic Concepts in Modal Logic by Edward N. Zalta
 
0.0 (0)
Author: Edward N. Zalta
Quadratic Forms and Their Applications by Andrew Ranicki, et al.
 
0.0 (0)
Author: Andrew Ranicki, et al.
This volume outlines the proceedings of the conference on "Quadratic Forms and Their Applications" held at University College Dublin. It includes survey articles and 
Ends of Complexes by Bruce Hughes, Andrew Ranicki
 
0.0 (0)
Author: Bruce Hughes, Andrew Ranicki
The book gathers together the main strands of the theory of ends of manifolds from the last thirty years and presents a unified and coherent treatment of them. ...
Geometric Topology: Localization, Periodicity and Galois Symmetry by Dennis Sullivan
 
0.0 (0)
Author: Dennis Sullivan
In 1970, Sullivan circulated a set of notes introducing localization and completion of topological spaces to homotopy theory, and other important concepts that have had a ...
The Hauptvermutung Book: A Collection of Papers on the Topology of Manifolds by A.A. Ranicki, et al,
 
0.0 (0)
Author: A.A. Ranicki, et al,
The Hauptvermutung is the conjecture that any two triangulations of a polyhedron are combinatorially equivalent. This conjecture was formulated at the turn of the century, and until its resolution...
 
0.0 (0)
Author: Frank Quinn, Andrew Ranicki
Homology manifolds were developed in the first half of the 20th century to give a precise setting for Poincare's ideas on duality. Exotic homology manifolds are ...

User reviews

There are no user reviews for this listing.
Ratings
Rate this Ebook
Comments