Hacker News: iron_feverhttps://news.ycombinator.com/user?id=iron_feverHacker News RSShttps://hnrss.org/hnrss v2.1.1Tue, 02 Jun 2026 18:20:54 +0000<![CDATA[New comment by iron_fever in "CQL: Categorical Databases"]]>I know very little about databases, but I work heavily with category theory, so fwiw: I think the main benefit is composition. The edge over SQL shows up when you combine schema mappings - a mapping is a functor, so when you migrate data along it the constraints come with it by construction, and you don't end up writing ETL and hoping integrity held.

As best as I can tell (but i really dont know much about databases) it's probably a narrow advantage - storage and everyday queries still go to Codd's model - but for stitching schemas together it seems like it could work.

I'm using similar math for automated formal verification, where this approach is what makes it tractable.

]]>Tue, 02 Jun 2026 13:35:36 +0000https://news.ycombinator.com/item?id=48370097iron_feverhttps://news.ycombinator.com/item?id=48370097https://news.ycombinator.com/item?id=48370097