Aspects of a Mathematical Theory of Data - From Physical to Logical Specifications

Explore a comprehensive mathematical theory of data in this Topos Institute Colloquium talk that delves into representing data specifications through sketches of Range Categories. Learn how to distinguish between relational and non-relational physical data specifications while understanding the contrast between physical and logical data specifications. Discover goodness criteria for specifications that generalize classic relational normal forms established by Codd, Fagin, Ling, Goh, and others. Gain insights into shifting best practices in data specification and programming from physical representation to more abstract logical structures, ultimately working towards a more sophisticated approach to data management and organization.