daniel:more formal mapping categories