Skip to Main Content (Press Enter) Toggle side nav
Basic Category Theory for Computer Scientists by Benjamin C. Pierce

Look Inside

Basic Category Theory for Computer Scientists

By Benjamin C. Pierce

By Benjamin C. Pierce

By Benjamin C. Pierce

By Benjamin C. Pierce

Best Seller

Part of Foundations of Computing

Part of Foundations of Computing

Category: Technology

Category: Technology

Paperback $35.00

Aug 07, 1991 | ISBN 9780262660716

Ebook $25.99

Aug 07, 1991 | ISBN 9780262326452

All Formats
+
    Basic Category Theory for Computer Scientists by Benjamin C. Pierce
    Paperback $35.00
    Aug 07, 1991 | ISBN 9780262660716

    Also available from:

    See All Formats (1) +

    Paperback
    –

    • Paperback $35.00

      Aug 07, 1991 | ISBN 9780262660716

      Also available from:

    Ebook
    +

    • Ebook

      Aug 07, 1991 | ISBN 9780262326452

      Available from:

    *This title is not eligible for purchase to earn points nor for redemption with your code in the Reader Rewards program

    Buy the Ebook:

    About Basic Category Theory for Computer Scientists

    Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

    Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.

    Contents
    Tutorial • Applications • Further Reading

    About Basic Category Theory for Computer Scientists

    Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

    Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.

    Contents
    Tutorial • Applications • Further Reading

    Product Details

    Category: Technology

    Paperback | $35.00
    Published by The MIT Press
    Aug 07, 1991 | 116 Pages | 7 x 9 | ISBN 9780262660716

    Category: Technology

    Ebook | $25.99
    Published by The MIT Press
    Aug 07, 1991 | 116 Pages | 7 x 9 | ISBN 9780262326452

    Inspired by Your Browsing History

    Buy other books like Basic Category Theory for Computer Scientists

    ‹ ›
    The Little Prover
    The Little Prover
    Daniel P. Friedman and Carl Eastlund
    Learning to Communicate in Science and Engineering
    Learning to Communicate in Science and Engineering
    Neal Lerner, Jennifer Craig and Mya Poe
    The Little Typer
    The Little Typer
    David Thrane Christiansen and Daniel P. Friedman
    Programming for the Puzzled
    Programming for the Puzzled
    Srini Devadas
    Fundamental Proof Methods in Computer Science
    Fundamental Proof Methods in Computer Science
    David Musser and Konstantine Arkoudas
    The Little Schemer, fourth edition
    The Little Schemer, fourth edition
    Matthias Felleisen and Daniel P. Friedman
    Once Upon an Algorithm
    Once Upon an Algorithm
    Martin Erwig
    Introduction to Static Analysis
    Introduction to Static Analysis
    Xavier Rival and Kwangkeun Yi
    Learning and Soft Computing
    Learning and Soft Computing
    Vojislav Kecman
    Fortran 95 Handbook
    Fortran 95 Handbook
    Jeanne C. Adams, Jerrold L. Wagener, Brian T. Smith, Jeanne T. Martin and Walter S. Brainerd
    Puzzle Workouts: Word Search (Book Four)
    Puzzle Workouts: Word Search (Book Four)
    Christy Davis
    The Raven's Hat
    The Raven’s Hat
    Jonas Peters and Nicolai Meinshausen
    The Reasoned Schemer, second edition
    The Reasoned Schemer, second edition
    Jason Hemann, Oleg Kiselyov, Daniel P. Friedman and William E. Byrd
    Control Flow Semantics
    Control Flow Semantics
    Erik P. De Vink and J. W. De Bakker
    Learn You a Haskell for Great Good!
    Learn You a Haskell for Great Good!
    Miran Lipovaca
    Essential Logic for Computer Science
    Essential Logic for Computer Science
    Ruben Gamboa and Rex Page
    Doing Math with Python
    Doing Math with Python
    Amit Saha
    Optimal Control Theory with Applications in Economics
    Optimal Control Theory with Applications in Economics
    Thomas A. Weber
    Effective Documentation
    Effective Documentation
    LEGO Technic Non-Electric Models: Clever Contraptions
    LEGO Technic Non-Electric Models: Clever Contraptions
    Yoshihito Isogawa
    How to Design Programs, second edition
    How to Design Programs, second edition
    Matthew Flatt, Shriram Krishnamurthi, Robert Bruce Findler and Matthias Felleisen
    Ruby by Example
    Ruby by Example
    Kevin C. Baird
    Cracking the SAT Subject Test in Literature, 16th Edition
    Cracking the SAT Subject Test in Literature, 16th Edition
    The Princeton Review
    The Principles of Object-Oriented JavaScript
    The Principles of Object-Oriented JavaScript
    Nicholas C. Zakas
    The Principles of Object-Oriented JavaScript
    The Principles of Object-Oriented JavaScript
    Nicholas C. Zakas
    A Selectional Theory of Adjunct Control
    A Selectional Theory of Adjunct Control
    Idan Landau
    Distributed Algorithms, second edition
    Distributed Algorithms, second edition
    Wan Fokkink
    The Train Your Brain Mind Exercise
    The Train Your Brain Mind Exercise
    Peter De Schepper and Frank Coussement
    Puzzle Baron's Large Print Logic Puzzles
    Puzzle Baron’s Large Print Logic Puzzles
    Puzzle Baron
    Computer Graphics from Scratch
    Computer Graphics from Scratch
    Gabriel Gambetta
    The Seasoned Schemer, second edition
    The Seasoned Schemer, second edition
    Daniel P. Friedman and Matthias Felleisen
    Everyday Chaos
    Everyday Chaos
    Brian Clegg
    Be the first to know!
    More from Benjamin C. Pierce and book picks sent right to your inbox
    More from Benjamin C. Pierce and book picks sent right to your inbox
    By clicking SIGN UP, I acknowledge that I have read and agree to Penguin Random House’s Privacy Policy and Terms of Use.
    Dismiss
    Thanks!
    Something awesome is on its way.
    Back to Top

    Visit other sites in the Penguin Random House Network

    Raise kids who love to read

    Brightly

    Raise kids who love to read
    An online magazine for today’s home cook

    TASTE

    An online magazine for today’s home cook
    The eBooks you want at the lowest prices

    LitFlash

    The eBooks you want at the lowest prices
    Read it first. Pass it on!

    Read it Forward

    Read it first. Pass it on!