Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Teaching
Course material 2010–11
Category Theory for Computer Science
Advanced Category Theory in Computer Science
Advanced Computer Design
Advanced Data Flow Analysis
Advanced Graphics
Advanced Speech Technology
Advanced Topics in Computer Systems
Advanced Topics in Concurrency
Algorithms I
Algorithms II
An Algebraic Approach to Internet Routing
Artificial Intelligence I
Artificial Intelligence II
Building an Internet Router
Business Studies
Categorical Logic
Category Theory for Computer Science
Chip Multiprocessors
Comparative Architectures
Compiler Construction
Complexity Theory
Computation Theory
Computer Design
Computer Fundamentals
Computer Graphics and Image Processing
Computer Networking
Computer Systems Modelling
Computer Vision
Concepts in Programming Languages
Concurrent and Distributed Systems I
Concurrent and Distributed Systems II
Data Centric Networking
Databases
Deep Language Modelling
Denotational Semantics
Denotational Semantics
Digital Electronics
Digital Signal Processing
Discrete Mathematics I
Discrete Mathematics II
E-Commerce
ECAD Labs
Economics and Law
Floating-Point Computation
Flows in Networks
Foundations of Computer Science
Further Java
Further Java Briefing
Hardware Practical Classes
Hoare Logic
Human-Computer Interaction
Information Retrieval
Innovative user interfaces
Interactive Formal Verification
Introduction to Natural Language Processing
Introductory Logic
Lexical Semantics and Discourse Processing
Logic and Proof
Low Power Embedded Systems Programming
Machine Learning for Language Processing
Mathematical Methods for Computer Science
Mobile and Sensor Systems
Multicore Programming
Natural Language Processing
Network Architecture
Object-Oriented Programming
Operating Systems
Optimising Compilers
Principles of Communication
Probability
Programming Logics and Software Verification
Programming for Mobiles
Programming in C and C++
Programming in Java
Prolog
Registration
Regular Languages and Finite Automata
Research Methods
Current Research Topics
Security I
Security II
Semantics of Programming Languages
Set Theory for Computer Science
Social and Technological Network Analysis
Software Design
Software Engineering
Spoken Language Processing
Statistical Machine Translation
Syntax and Semantics of Natural Language
System on Chip Design and Modelling
System-on-Chip Design
Temporal Logic and Model Checking
Topical Issues
Topics in Concurrency
Topics in Logic and Complexity
Topics in Security: Forensic Signal Analysis
Types
Unix Tools
Usability of Programming Languages
Course material 2010–11
Category Theory for Computer Science
Lecturer:
Dr Marcelo Fiore
Taken by:
MPhil ACS
Syllabus
Mid-term test
Books
S.Awodey. Category Theory. Oxford University Press, 2006.
M.Barr and C.Wells. Category Theory for Computing Science Centre de Recherches Mathematiques, third edition, 1999.
R.Crole. Categories for Types. Cambridge University Press, 1993.
F.W.Lawvere and S.Schanuel. Conceptual Mathematics. Cambridge University Press, 1997.
S.Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
P.Taylor. Practical Foundations of Mathematics. Cambridge Studies in Advanced Mathematics 59, Cambridge University Press, 1999.
R.Walters. Categories and Computer Science. Cambridge University Press, 1991.
On-line notes
R.Backhouse.
Galois Connections and Fixed Point Calculus
. School of Computer Science and Information Technology, University of Nottingham, 2001.
M.Barr and C.Wells.
Category Theory
. Lecture Notes for ESSLLI, 1999.
M.Fiore.
Rough notes on presheaves
. Notes for a postgraduate mini-course, PPS, Universite Paris Diderot - Paris 7, 2001.
J.van Oosten.
Basic Category Theory
. Department of Mathematics, Utrecht University, 2002.
D.Turi.
Category Theory Lecture Notes
. LFCS, University of Edinburgh, 1996-2001.
© 2010 Computer Laboratory, University of Cambridge
Information provided by Dr Bartosz Klin
