library/whitespace changes
another lib change
made more morphism manipulation mechanisms
Used whiskering and Squares to simplify the proof that adjunctions compose.