Basic category theory for computer scientists

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

This record preserves its author, date and source link. Open HN to read the full context.

…, see below, also wrote several books on types in programming languages) and offers a different representation of computational flow (monads, arrows). Benjamin Pierce's "Basic Category Theory for Computer Scientists" (not online) is terse and complete [1]. Wikipedia is good for definitions and there's also a Wikibook on category theory: http://en.wikibooks.org/wiki/Category_theory There are some brief, informative, and fun lectures on YouTube by the Catsters: http://www.youtube.com/profile_play_list?user=TheCatsters The natural transformations playlist is where to start, just be ready to use the aforementioned references. __ [1] Natural transformations are the original point of category theory. A text that doesn't cover them is incomplete.

…ician by Saunders Maclane. It is an excellent book, but I must also warn that it is not an easy book and probably requires a fair bit on mathematical maturity. Second is Basic Category Theory for Computer Scientists by Benjamin Pierce. It is much more of an introductory book and provides many examples in Computer Science which are useful to those doing theoretical CS.