Dependent Types Made Difficult LaTeX source for slides for a talk on the categorical semantics of dependent types. Slides: slides.pdf