David I. Spivak – författare
Visar alla böcker från författaren David I. Spivak. Handla med fri frakt och snabb leverans.
9 produkter
Category Theory for the Sciences
Inbunden, 2014
786 kr
Lägg i varukorg
An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful …
Polynomial Functors
A Mathematical Theory of Interaction
Av Nelson Niu, David I. Spivak
Häftad, 2025
1153 kr
Lägg i varukorg
Everywhere one looks, one finds dynamic interacting systems: entities expressing and receiving signals between each other and acting and evolving accordingly over time. In this book, the authors give a new syntax for modeling such systems, describing a mathematical theory of interfaces and the way …
Polynomial Functors
A Mathematical Theory of Interaction
Av David I. Spivak, Nelson Niu
E-bok, 2025
1223 kr
Lägg i varukorg
An Invitation to Applied Category Theory
Seven Sketches in Compositionality
Av Brendan Fong, David I. Spivak
Inbunden, 2019
1775 kr
Lägg i varukorg
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 …
Invitation to Applied Category Theory
Seven Sketches in Compositionality
Av David I. Spivak, Brendan Fong
E-bok, 2019
758 kr
Lägg i varukorg
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 …
Invitation to Applied Category Theory
Seven Sketches in Compositionality
Av David I. Spivak, Brendan Fong
E-bok, 2019
766 kr
Lägg i varukorg
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 …
An Invitation to Applied Category Theory
Seven Sketches in Compositionality
Av Brendan Fong, David I. Spivak
Häftad, 2019
764 kr
Lägg i varukorg
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 …
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Av Patrick Schultz, David I. Spivak
Inbunden, 2019
813 kr
Lägg i varukorg
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a …
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Av David I. Spivak, Patrick Schultz
E-bok, 2019
1785 kr
Lägg i varukorg
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a …
