More categorical interpretation