Databases from finite categories

lambda-the-ultimate.org