fix shape + mapping diagram
better diagram to illustrates shape x mapping decomposition
start writing about labelled structures & analytic functors