-
Notifications
You must be signed in to change notification settings - Fork 1
/
CourseCategoryTheory.html
executable file
·95 lines (80 loc) · 4.06 KB
/
CourseCategoryTheory.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
<!DOCTYPE html>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- Begin Jekyll SEO tag v2.6.1 -->
<title>ITI9200 -- Category theory and its Applications</title>
<link rel="stylesheet" href="/assets/css/ct-course.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
</head>
<body>
<div class="wrapper">
<div class="container">
<h1 id="introduction-to-category-theory-and-its-applications">
ITI9200 - Introduction to Category Theory and its Applications
</h1>
<h2>When</h2>
<p>
<ul>
<li>Monday 10:00 - 11:30 (<b>ICT-A2</b>)</li>
<li>Thursday 16:00 - 17:30 (<b>ICO-219</b>)</li>
</ul>
First lecture: January 29, 2024.<br>
Last lecture: May 16, 2024.
</p><hr>
<h2>Who</h2>
<p>
<ul>
<li> <a href="http://tetrapharmakon.github.io">Fosco Loregian</a> (<a href="mailto:fosco.loregian@taltech.ee">fosco.loregian@taltech.ee</a>)</li>
<li> <a href="https://arkor.co/">Nathanael Arkor</a> (<a href="mailto:nathanael.arkor@taltech.ee">nathanael.arkor@taltech.ee</a>)</li>
<li> <a href="https://iwilare.com/">Andrea Laretto</a> (<a href="mailto:andrea.laretto@taltech.ee">andrea.laretto@taltech.ee</a>)</li>
<li> <a href="https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/michele-de-pascalis">Michele de Pascalis</a> (<a href="mailto:michele.de@taltech.ee">michele.de@taltech.ee</a>)</li>
</ul><br>
We all are in the <a href="https://taltech.ee/sundmused/loodusteaduste-paev-29-aprill-2022">CYB building</a> - Akadeemia tee 15/2, 12618 Tallinn
</p>
<hr>
<h2>What</h2>
<p>
An introductory course on category theory and its applications in (computer) science.
</p>
<p>
Good references for studying category theory are:
<ul>
<li>Leinster "Basic Category Theory"</li>
<li>Awodey "Category theory"</li>
<li>Barr & Wells "Category Theory for Computing Science"</li>
<li>Riehl "Category theory in context"</li>
<li>Borceux "Handbook of categorical algebra", vol. 1-3</li>
<li>Mac Lane, "Categories for the working mathematician"</li>
</ul>
<h2>Lecture notes</h2>
<!-- January 29, 2024 -- Introduction, introductions, admin (<a href="stuff/ct2024-lec1.pdf">link</a>) -->
<ul>
<li>January 29, 2024 <a href="stuff/lec1.pdf">[PDF]</a></li>
<li>February 15, 2024 <a href="stuff/CategoryTheory-2024-02-15.md">[MD]</a></li>
<li>February 22, 2024 <a href="stuff/Commutative_diagrams.pdf">[PDF]</a></li>
<li>February 22, 2024 <a href="stuff/yoneda.pdf">[PDF]</a></li>
</ul>
<hr>
</p>
<h2>Exercises</h2>
Exercise sheets should be submitted to Fosco Loregian by email (fosco.loregian@taltech.ee, write "ITI9200" as subject), or handed in physically at the start or end of a lecture.
<p><ul>
<li>Exercise sheet 1 <a href="stuff/TalTech_Category_Theory_Exercises_I.pdf">[PDF]</a> (Deadline: 23:59 on 18 March 2024)</li>
<li>Exercise sheet 2 <a href="stuff/TalTech_Category_Theory_Exercises_II.pdf">[PDF]</a> (Deadline: 23:59 on 18 March 2024)</li>
</ul></p>
<hr>
<h2>Grading</h2>
<p>The grade will be assigned based on two exercise sheets during the lecture course, and a final oral exam. For the final exam, you will choose a topic and give a short presentation about it.</p>
<hr>
<p class="caption">
<img src="stuff/arch-cat.jpg" alt="l'Arche-Chat" class="center"></img><br>
Victor Brauner, <em>Arche-chat</em>, 1948, <br>
Herbert F. Johnson Museum of Art<br>
(Cornell University), Ithaca, NY, US.
</p>
</body>
</div>
</html>