Student Working Seminar in Category Theory

Date: October 29, 2019

Time: 5:00PM - 6:00PM

Location: BLOC 506A

Speaker: Byeongsu Yu

Title: Universal property and Category of element. (Riehl 2.3~2.4)

Abstract: We will show that the universal property, which is called an abstract nonsence, stems from the initial element of special category named the category of element. The category of element is a special case of comma category. Then, the universal object of the category element gives the universal property of some specific construction.