Mon premier blog

Basic category theory for computer scientists Benjamin C. Pierce
Publisher: The MIT Press

Benjamin Pierce, Basic category theory for computer scientists. The goal is to get acquainted with the theory of coalgebra and its use in computer science. Programming Language researchers already know a bunch of basic category theory, but the rest of us Computer Scientists tend to be out of the loop when it comes to this basic language of math. The basic reason why these things exist is to make them easier for programmers to think about. Institution: Liberty University. 6.893 Philosophy and Theoretical Computer Science. Subjects: Logic in Computer Science (cs.LO); Category Theory (math. It is fairly short and straightforward and doesn't require a lot of background knowledge. Job Summary/Basic Function This position teaches in both the Computer Engineering and Computer Science programs. I read a book titled "Basic Category Theory for Computer Scientists" by Benjamin C.Pierce a few months ago. Theoretical computer science is mostly math and logic and not so much "just" bit manipulation. It is also clear from reading this book that the main customer of "pure" category theory is not algebra, nor algebraic geometry, but computer science. There's nothing about lambda calculus and constructive logic, or the relationships between type theory, category theory and mathematical structuralism. I thought I'd let Shtetl-Optimized readers know about an experimental new course I'm teaching this fall (starting tomorrow): 6.893 Philosophy and Theoretical Computer Science. Duties include teaching computing and engineering courses at 100, 200, 300, 400 levels. A similar fate befell lattice theory some forty years ago, when it was realized that lattices had very little to do with The next volume for our growing mastery of the subject is Basic category theory for computer scientists. Benefits of strong typing: With strong typing you can apply all kinds of neat mathematical theorems that help to validate the correctness of statements, in the sense that a compiler can ensure, that at least from a category theoretical point of view the thing written makes sense. Eventually this leads to higher category theory, where one considers k -morphisms in all dimensions and to a wealth of interacting intuitions and concepts. Resources in Security, July 2012; in this version: fixed typos, added a sentence to the abstract; accepted for publication in Information and Computation. Category: Faculty - Engineering - Computer Engineering; Faculty - Science - Computer Science.