Topology and Related Topics Seminar
Speaker: Omkar Ramdas, IIT Bombay
Host: Rekha Santhanam
Title: An introduction to Lawvere theory and their applications
Time, day and date: 11:00:00 AM – 12:00:00 PM, Friday, October 31
Venue: Room 105
Abstract: Lawvere theory is a unique categorical framework which unifies the ideas of algebraic structures like groups, rings, etc into one category using their "logical signatures". I am planning to give two talks on this.
In this first talk, I'll cover the logical prerequisites needed and then we'll go on to define what Lawvere theories are. This talk will be very basic and accessible to all.