Basic Category Theory for Computer Scientists

    By

    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

    View more

    Number of Pages: 116
    Format(s): Paperback - ISBN: 9780262660716
    Publication Date:
    Listed in: Mathematical foundations, Computer programming & software development, Maths for computer scientists
    Publisher: MIT Press

    Books by Benjamin C. Pierce

    Paperback

    RRP: £27.00

    Sale Price: £18.66

    Save: £8.34 per copy!

    Side-Banner-Right-188px-fd.jpg
    Books TV & Movies

    You might also like...

    Latest from the blog

    Fantastic new recipe book from Sabrina Ghayour 'Sirocco'

    Sabrina Ghayour's long awaited second recipe book Sirocco is out this month and is a great follow up to Persianna. Read article

    Ten Great Bedtime Reads from The Great British Bookshop and Aspace

    We have teamed up with Aspace (www.aspace.co.uk) who create beautiful room for Children to bring you 10 great bedtime reads for your little ones. Read article

    Latest from Twitter

    • @TheGBBookshop - 2 years ago

      Lottery funding for dementia reading project £2m pledged for Reading Agency scheme to pair readers with dementia sufferers

      @TheGBBookshop - 2 years ago

      Harry Potter and the Cursed Child has held on to the number one spot for a sixth week #HarryPotter #CursedChild @littlebrown @pottermore

    • @TheGBBookshop - 2 years ago

      @thebookseller @MartinaCole @Jeffrey_Archer @Foyles

      @TheGBBookshop - 2 years ago

      Frith wins inaugural Klaus Flugge Prize for illustration t.co/U9P08h4XMG

    • @TheGBBookshop - 3 years ago

      RT @Gue_de_Bost: #Dordogneholidaycottage available Sept tweet to book for more info

      @TheGBBookshop - 3 years ago

      The editor is just back from france @HomeAwayUK! t.co/IWutTER1x7