|Date:||2016, December 13|
|Title:||An Equational Formalism and Design Pattern for Functorial Data Integration|
Earlier this year we heard about categorical databases by Spivak et al. The presented functorial data model was refined by Wisnesky et al. in 2016. I will explain their results that model schema and data descriptions of databases using multisorted equational logic. Finally, I will point out possible directions for further research.