Title: Coherence in Category Theory
Abstract: In mathematics, definitions are often given as a collection of data satisfying some specific axioms. This is directly analogous to defining a group by picking generators and relations. In category theory, it's often interesting to wonder "what are all the data and axioms generated by this definition?". This is the idea of "coherence theorems" or designing "free/walking stuff". I will go over several examples of this idea to illustrate the benefits we get from answering this question.
Note: The talk will start at 4:10 pm
Audience
- Faculty/Staff
- Student
- Public
- Post Docs/Docs
- Graduate Students
Contact
Daniel Mallory
Email
Interest
- Academic (general)