Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, April 13
Author: Mossakowski, Till
Title: Spivak's Categorical Databases


Category theory (CT) is an abstract and flexible mathematical theory. D. Spivak has used it to model relational databases. Some advantages are:
Back to the Oberseminar web page