Category theory
There have been 2 completed talks and 2 topic suggestions tagged with category theory.
Related Tags
Completed Talks
Universal Property of Quotients
Delivered by Lirong Yang on Friday March 17, 2017
In this talk, we generalize universal property of quotients (UPQ) into arbitrary categories. UPQs in algebra and topology and an introduction to categories will be given before the abstraction. As in the discovery of any universal properties, the existence of quotients in the category of sets and that of groups will be presented.
If you have not yet been exposed to group theory, please read Monoids and Groups for an introduction.
A summary of this talk is available here.
Category Theory
Delivered by Luthfi Mawarid on Friday October 21, 2016
This talk will cover the very basics of Category Theory, motivated by simple examples using the category of sets. I will then introduce some applications to other areas of mathematics, such as linear algebra and programming language theory.
Talk Suggestions
Curry–Howard–Lambek Correspondence
Possible reference materials for this topic include
Quick links: Google search, arXiv.org search, propose to present a talk
category theory computer science logic
Molecular Set Theory
In 1960, A.F. Bartholomay wrote about a mathematical model of chemical reaction mechanisms using set theory.
Possible reference materials for this topic include
Quick links: Google search, arXiv.org search, propose to present a talk
applied mathematics biology category theory chemistry set theory