https://hackerpaper.kaipfister.de/p/0904.2012/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=38606512urn:hackerpapers:mention:0904.2012:38606512Mon, 11 Dec 2023 22:45:19 GMT<p>This is pretty cool given the potential backward compatibility - which makes widespread adoption much more realistic. There is some prior art of queries as morphisms between DBs (or schemas) in the category theory community. e.g., https://www.categoricaldata.net/ https://arxiv.org/pdf/0904.2012.pdf</p><p><a href="https://hackerpaper.kaipfister.de/p/0904.2012/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DBhttps://news.ycombinator.com/item?id=16678925urn:hackerpapers:mention:0904.2012:16678925Mon, 26 Mar 2018 14:01:02 GMT<p>David Spivak has done lots of cool work on applying category theory to many concrete systems like databases [1]. Brendan Fong has worked on applying category theory to things that act like interconnected networks, such as electrical circuits. This fits into a larger ambitious program that John Baez is part of to use category theory to understand physical systems that are still much too complicated to understand with current mathematical tools, such as ecosystems. Fong&#x27;s thesis is on my reading list [2]. The two authors are doing great research, like this investigation of the algebra of…</p><p><a href="https://hackerpaper.kaipfister.de/p/0904.2012/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DB