An Invitation to Applied Category Theory: Seven Sketches in Compositionality

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 self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic 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 university-level mathematics.

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Other editions

• 

  An Invitation to Applied Category Theory: Seven Sketches in Compositionality

  • 2019-07-31
  • 350 pages
  • Paperback
  • Cambridge University Press

Similar books

• 

  Integral Geometry and Tomography: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, Held June 24-30, 1989, with Support from the...

  By Eric Grinberg, Eric Todd Quinto

  In Section 2 we will deal with the “discrete” case. Let S be a locally finite tree T endowed with the natural integer-valued distance function: the ...

• 

  Ordinary Differential Equations and Linear Algebra: A Systems Approach

  By Todd Kapitula

  ... for in this case [yp](s)=s[yp](s), [yp](s)=s2[yp](s). As we will see in the examples, this assumption also makes it possible to deal with the initial ...

• 

  Cognition and Intractability: A Guide to Classical and Parameterized Complexity Analysis

  By Iris van Rooij, Mark Blokpoel, Johan Kwisthout

  x,y∈S δ(x,y) is maximum. u(x) + ADDITIVE SUBSET CHOICE Input: A set X = {x1 ,x2 ... F Tractability cycle Test 8.2 How (Not) to Deal with Intractability 173.

• 

  Mymathlab -- Standalone Access Card

  By Pearson Education, David P Pearson Education, Hall H Pearson Education

  Several versions of Pearson's MyLab & Mastering products exist for each title, including customized versions for individual schools, and registrations are not transferable.

• 

  Mymathlab Student Acc Kit + Intro Alg Wrkshts

  By Inc. Pearson Education

  Mymathlab Student Acc Kit + Intro Alg Wrkshts

• 

  Pearson Mathematics 7: H.P

  By Pearson Education Australia Staff

  Pearson Mathematics homework program for Year 7 provides tear-out sheets which correspond with student book sections, providing systematic and cumulative skills revision of basic skills and current class topics in the form of take-home ...

• 

  Worksheets for Classroom Or Lab Practice for Intermediate Algebra: Graphs & Models

  By Addison-Wesley

  Worksheets for Classroom Or Lab Practice for Intermediate Algebra: Graphs & Models

• 

  Pearson Mathematics New South Wales 8 Student Book: Australian Curriculum

  By Pearson Education Australia Staff, Gael McLeod, David Coffey

  The Student Book provides an easy-to-use 'nuts and bolts' book at each year level.

• 

  Matrix Iterative Analysis

  By Richard S. Varga

  ... partial differential equations have received a great deal of attention. For excellent bibliographical coverage, see Todd (1956), Richtmyer (1957), ...

• 

  Mathematical Modelling: Education, Engineering and Economics - ICTMA 12

  By C Haines, P Galbraith, W Blum

  Todd, P. A., McKeen, .l. ... ANALYTICAL SUPPORT PROBLEM SOLVING Cognitive Perspectives on Modelling HOW DO STUDENTS AND TEACHERS DEAL Sodhi and Son 219 NOTE ...