“Lecture Category theory”

• Organization of concepts.
  The book [ML98] start with the sentence “Category theory starts with the observation that many properties of mathematical systems can be unified and simplified by a presentation with diagrams of arrows.”. Similarly, quoting [AL91]: “In addition to its direct relevance to theoretical knowledge and current applications, category theory is often used as an (implicit) mathematical jargon rather than for its explicit notions and results. [...] In other words, many different formalisms and structures may be proposed for what is essentially the same concept; the categorical language and approach may simplify through abstraction, display the generality of concepts, and help to formulate uniform definitions.”
  In other words, organizes many concepts in one language. It is like the bird's-eye view: by ignoring details, the bird's-eye view reveals hidden symmetries:
  
  This description is based on a very true quote in [Le]: “Category theory takes a bird's eye view of mathematics. From high in the sky, details become invisible, but we can spot patterns that were impossible to detect from ground level.”.
• Organization of ideas.
  Category theory is not just abstract nonsense, but can be applied in various parts of mathematics, the sciences and more generally. This aspect of category theory is not highlighted as often as it deserves to be. But times change and [FS19] starts with: “Category theory is becoming a central hub for all of pure mathematics. It is unmatched in its ability to organize and layer abstractions, to find commonalities between structures of all sorts, and to facilitate communication between different mathematical communities. But it has also been branching out into science, informatics, and industry. We believe that it has the potential to be a major cohesive force in the world, building rigorous bridges between disparate worlds, both theoretical and practical.”.
  Nowadays category theory has entered for example computer science (think about Haskell), philosophy and logic (at least it is proposed, see e.g. [La17]), physics (see e.g. [BL11]) and many more. Not so much as a really practical tool, but more like a flowchart:
  
• Beauty.
  The book [AHS90] starts with a poem due to Morris Bishop, describing category theory and many people's views on it spot on:

  There's a tiresome young man in Bay Shore.
  When his fiancée cried, ‘I adore
  The beautiful sea’,
  He replied, ‘I agree,
  It's pretty, but what is it for?’

  Nothing to add!

Contact

Who?

• Fourth semester students in Mathematics interested in a mixture of (linear) algebra and discrete mathematics, but everyone is welcome

Where and when?

• Time and date for the lecture.
  • Every Monday from 12:00-14:00
  • Online
  • First lecture: Monday 21.Feb.2022. Last lecture: Monday 09.May.2022
• Time and date for the tutorials.
  • Every Friday from 12:00-14:00
  • Online
  • First tutorial: Friday 25.Feb.2022. Last tutorial: Friday 13.May.2022
• Material for the lecture.
  • The lecture is a mix of various sources. The main source is [ML98], and the lecture follows the list of topics presented therein. However, the lecture takes a different perspective compared to [Mc] and potentially reading either of [AHS90], [AL91], [FS19], [Le14], [Mi14], [Ri16] or [Si11] should be beneficial.
  • Prerecorded lectures on the “What is...category theory?” playlist here: Click
• Summary: Click
• Mini presentation: Click
• The detailed plan: Click

Schedule

1. 21.Feb.2022, Speaker: Daniel Tubbenhauer, Topic: The beginnings - What is...category theory?
2. 28.Feb.2022 Speaker: Daniel Tubbenhauer, Topic: Diagrams in categories - Commuting and alike
3. 07.Mar.2022, Speaker: Daniel Tubbenhauer, Topic: Functors I - The basics about functors
4. 14.Mar.2022, Speaker: Daniel Tubbenhauer, Topic: Functors II - Natural transformations and equivalence
5. 21.Mar.2022, Speaker: Daniel Tubbenhauer, Topic: Yoneda - Yoneda lemma and Yoneda embedding
6. 28.Mar.2022, Speaker: Daniel Tubbenhauer, Topic: Limits I - Examples of limits
7. 04.Apr.2022, Speaker: Daniel Tubbenhauer, Topic: Limits II - Universal properties and limits abstractly
8. 11.Apr.2022, Speaker: Daniel Tubbenhauer, Topic: Adjoint functors I - The algebraic approach
9. 18.Apr.2022, Speaker: Daniel Tubbenhauer, Topic: Adjoint functors II - The diagrammatic approach
10. 25.Apr.2022, Speaker: Daniel Tubbenhauer, Topic: Monoids I - Monads and their modules
11. 02.May.2022, Speaker: Daniel Tubbenhauer, Topic: Monoids II - Monoidal categories
12. 09.May.2022, Speaker: Daniel Tubbenhauer, Topic: Whats next? - Some outlook including diagrammatics

Exercises

1. 21.Feb.2022, Exercise 1, Click
2. 28.Feb.2022, Exercise 2, Click
3. 07.Mar.2022, Exercise 3, Click
4. 14.Mar.2022, Exercise 4, Click
5. 21.Mar.2022, Exercise 5, Click
6. 28.Mar.2022, Exercise 6, Click
7. 04.Apr.2022, Exercise 7, Click
8. 11.Apr.2022, Exercise 8, Click
9. 18.Apr.2022, Exercise 9, Click
10. 25.Apr.2022, Exercise 10, Click
11. 02.May.2022, Exercise 11, Click
12. 09.May.2022, Exercise 12, Click

References

1. [AL91] A. Asperti, G. Longo. Categories, types, and structures. An introduction to category theory for the working computer scientist. Foundations of Computing Series. MIT Press, Cambridge, MA, 1991.
2. [AHS90] J. Adámek, H. Herrlich, G.E. Strecker. Abstract and concrete categories: the joy of cats. Reprint of the 1990 original [Wiley, New York; MR1051419]. Repr. Theory Appl. Categ. No. 17 (2006), 1-507. URL: Click
3. [BL11] J.C.Baez, A.D.Lauda. A prehistory of $n$-categorical physics. Deep beauty, 13-128. Cambridge Univ. Press, Cambridge, 2011. URL: Click
4. [FS19] B.Fong, D.I.Spivak. An invitation to applied category theory. Seven sketches in compositionality. Cambridge University Press, Cambridge, 2019. xii+338 pp. URL: Click
5. [La17] E.Landry et al. Categories for the working philosopher. Edited by Elaine Landry. Oxford University Press, Oxford, 2017. xiv+471 pp.
6. [Le14] T.Leinster. Basic category theory. Cambridge Studies in Advanced Mathematics, 143. Cambridge University Press, Cambridge, 2014. viii+183 pp. URL: Click
7. [ML98] S.Mac Lane. Categories for the working mathematician. Second edition. Graduate Texts in Mathematics, 5. Springer-Verlag, New York, 1998. xii+314 pp.
8. [Mi14] B.Milewski. Category Theory for Programmers. Collected from the series of blog posts. URL: Click. URL: Click
9. [Ri16] E.Riehl. Category Theory in Context. Dover Publications, 2016. URL: Click
10. [Si11] H.Simmons. An introduction to category theory. Cambridge University Press, Cambridge, 2011. x+226 pp.