Category Theory and the Structure of Features in Geographic Information Systems