Maps II: Chasing diagrams in categorical proof theory - Pavlovic, D (J. of the IGPL, 1996)