Introduction to Category Theory

location_city Sydney schedule May 23rd 01:45 - 03:15 PM place Red Room people 220 Interested

There are often two barriers to entry for those who have heard that they "should" look at some category theory. One is the motivation: why is something so abstract going to be helpful? The other is technical: many introductory texts assume a large amount of mathematical knowledge in avance. My keynote talk addresses the first issue and this workshop will address the second. We will introduce some of the basic concepts of category theory without using other mathematical structures as examples. We will cover categories and functors and will also take requests.

 
 

Target Audience

data scientists, developers, and others interested in new techniques in machine learning.

schedule Submitted 2 years ago

  • Liked Eugenia Cheng
    keyboard_arrow_down

    Eugenia Cheng - Category Theory and Life

    60 Mins
    Keynote
    Beginner

    Category theory can be thought of as being "very abstract algebra". It is thought of as "too abstract" by some people, and as "abstract nonsense" by some others. In this talk I will show that while it is abstract, it is far from being nonsense. I will argue that the abstraction has a purpose and that broad applicability is one of the powerful consequences. To demonstrate this, I will show how I apply concepts of category theory to important questions of life such as prejudice, privilege, blame and responsibility. I will introduce the category theory concepts from scratch so no prior knowledge is needed. These concepts will include objects and morphisms, isomorphisms and universal properties.