An invitation to applied category theory: seven sketches in compositionality

New York, NY: Cambridge University Press. Edited by David I. Spivak (2019)
  Copy   BIBTEX

Abstract

Category theory reveals commonalities between structures of all sorts. This book shows its potential in science, engineering, and beyond.

Categories

Keywords

Reprint years

Call number

QA9.25.F66 2019

ISBN(s)

9781108482295   1108711820   1108482295
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Sets, Logic and Categories.Peter J. Cameron - 1999 - Springer Verlag.
Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 2004
Introduction to Mathematical Logic. Set Theory, Computable Functions, Model Theory.Jerome Malitz - 1984 - Journal of Symbolic Logic 49 (2):672-673.
On the convergence of Fourier series of computable Lebesgue integrable functions.Philippe Moser - 2010 - Mathematical Logic Quarterly 56 (5):461-469.
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Malitz Jerome. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp. [REVIEW]P. Eklof - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Computable limits and colimits in categories of partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):181-196.
When series of computable functions with varying domains are computable.Iraj Kalantari & Larry Welch - 2013 - Mathematical Logic Quarterly 59 (6):471-493.
Uniformly computable aspects of inner functions: estimation and factorization.Timothy H. McNicholl - 2008 - Mathematical Logic Quarterly 54 (5):508-518.
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.
Henry Hiż. Congrammaticality, batteries of transformations and grammatical categories. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 43–50. - H. Hiż. The intuitions of grammatical categories. Methodos, vol. 12 , pp. 311–319. [REVIEW]G. H. Matthews - 1967 - Journal of Symbolic Logic 32 (1):115-116.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
$$\Pi^0_1$$ -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
Logic and Combinatorics: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson - 1987 - American Mathematical Soc..

Analytics

Added to PP
2022-12-05

Downloads
13 (#1,041,239)

6 months
7 (#439,760)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references