Bilkent Üniversitesi Topoloji Seminerleri
A blitz introduction to 2-dimensional categorical structures
Redi Haderi
Bilkent University, Türkiye
Roughly speaking a 2-dimensional categorical structure consists of objects, arrows and 2-cells, which compose in various ways.
We will introduce 2-categories and double categories and illustrate with some examples. These structures naturally occur in various places in algebra and topology and they are important to develop formal category theory.
