Databases from finite categories
lambda-the-ultimate.org