A toy DBMS that uses categories as schemas