2024 Week 19

First week using this system!

Goals for the week:

• 0 minutes on twitter, hacker news, reddit, or youtube

Proof due 12 May 2024. Stake: £30.

Thu 9 May

• Understand algebraic trees lower bound proof - Done
• Algorithms and Complexity - Week 26 Lecture A
• Algorithms and Complexity - Week 26 Lecture A - Done

Fri 10 May

• Inbox - Done
• Logic & semantics: Week 5 lecture notes - Playing with right adjoints
• Logic & semantics: Week 5 lecture notes - Playing with left adjoints
• Logic & semantics: Week 5 lecture notes - Show diagonal functor’s left/right adjoints
• Logic & semantics: Week 5 lecture notes - Show diagonal functor’s left/right adjoints
• Logic & semantics: Week 5 lecture notes - Q1
• Logic & semantics: Week 5 lecture notes - Q2
• Logic & semantics: Week 5 lecture notes - Q3
• Logic & semantics: Week 5 lecture notes - Q4

Proof