Categorical Informatics- A Functorial Approach to Data Integration

TL;DR — David Spivak’s NSF grant proposal for using category theory to integrate databases — the research programme behind categorical databases.

How much weight it carries: A grant proposal: it argues for research rather than reporting results.

Where this came from

• Will Manidis’s “most underrated PDF” thread, July 2023 — routing record: The Most Underrated PDF on the Internet (July 2023)

25 pages. A copy is archived locally against link rot; the header links the original source.