Department of Computer Science and Technology

Advanced Graphics and Image Processing
Advanced Topics in Computer Architecture
Advanced Topics in Mobile Systems and Mobile Data Machine Learning
Algebraic Path Problems
Automated Reasoning
Category Theory
Cybercrime
Data Science: principles and practice
Digital Signal Processing
Hardware Security
Interactive Formal Verification
Introduction to Natural Language Syntax and Parsing
Introduction to networking and systems measurements
Large-scale data processing and optimisation
Machine Learning for Language Processing
Multicore Semantics and Programming
Network Architectures
Overview of Natural Language Processing
Probabilistic Machine Learning
Research Skills Programme
Technology, law and society
Advanced Operating Systems
Advanced Topics in Computer Systems
Advanced topics in machine learning and natural language processing
Affective Computing
Computer Security: Principles and Foundations
Computer Vision
High performance networking
Machine learning for programming
Mobile Robot Systems
Topics in Concurrency
Topics in Logic and Complexity

Course pages 2019–20

Category Theory

Syllabus
Course materials
Assessment

Assessment consists of:

a graded exercise sheet (25% of the final mark), and
a take-home test (75%).

Graded exercise sheet

Exercise Sheet 4, issued in lecture 10 on Tuesday 12 November 2019, with solutions due in at the Graduate Office (FS03) by 16:00 on Tuesday 19 November 2019.

Take-home test

The take-home test will be issued on Thursday 16 January 2020 at 16:00. Solutions are due in at the Graduate Office (FS03) by 16:00 on Monday 20 January 2020.