Categorical Databases for Functional Programmers

In this talk, Ryan Wisnesky, of Conexus, will describe the 'schemas-are-categories' approach to data management in a way tailed specifically to functional programmers- Haskellers, type theorists, and more are welcome! We'll discuss how the approach compares to LINQ, how to interpret simply-typed lambda calculus in a topos, and more!