Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

11 September 2019, Algebra|Coalgebra, Taichi Uemura

Speaker: Taichi Uemura
Title: Exponentiability and Theories of Dependent Types
Date: Wednesday 11 September 2019
Time: 16:00-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

Abstract:

I give a close relationship between exponentiable arrows in categories with finite limits and dependent type theories. Precisely, the opposite of the category of finitely presentable dependent type theories has an exponentiable arrow and is freely generated by this arrow (and some others) in a suitable sense. I will discuss some applications of this observation to the semantics of dependent type theory.

For more information, see https://events.illc.uva.nl/alg-coalg/ or contact Jan Rooduijn at .

Please note that this newsitem has been archived, and may contain outdated information or links.