On varieties of closed categories and dependency of diagrams of canonical maps