Topology Seminar, Dan Licata (Wes): "Structural Proof Theory of Adjoint Functors"

Wednesday, September 16, 2015
4:15 PM - 5:15 PM (ET)
Exley Science Center (Tower)
Event Type
Seminar/Colloquium
Contact
Caryn Canalia
Department
Mathematics and Computer Science
Link
https://eaglet.wesleyan.edu/MasterCalendar/EventDetails.aspx?EventDetailId=64211

Abstract: Adjoint functors are a central tool in category theory, because an adjunction provides a well-behaved way to compare two objects that belong to two different categories.  They are related to modal logic, because every adjunction gives rise to both a comonad, which is like a necessitation modality, and a monad, which is like a possibility modality.  In this talk, I will describe some work, joint with Mike Shulman (University of San Diego), investigating the structural proof theory of adjoint functors.  An application is integrating the synthetic homotopy theory of homotopy type theory with the synthetic topology of Lawvere's axiomatic cohesion, which opens up new opportunities for proofs and formalizations in type theory.

Topology Seminar, Dan Licata (Wes): "Structural Proof Theory of Adjoint Functors" 4:15 PM - 5:15 PM (ET)
Exley Science Center (Tower)
265 Church Street, Middletown, CT 06457
Get Directions
Event Date
Event Time
Title
Building