Databases from finite categories | Dark Hacker News