Category Theory in Context

As time passes by, this folder will populate summaries, solutions (and ideally some Agda code)!