Sökt på: Böcker av David I. Spivak
totalt 7 träffar
An Invitation to Applied Category Theory
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 …
Temporal Type Theory
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 …
Invitation to Applied Category Theory
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 …
Invitation to Applied Category Theory
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 …
Category Theory for the Sciences
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 …
Temporal Type Theory
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 …
Category Theory for the Sciences
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 …