# 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