Hi Evan, liked your paper. I'm also interested in this area. I'm thinking this days on how to combine several ideas: Ologs, the Grothendiek construction, and Wille's formal concept analysis (coincidentally an example of Galois Connection that we are now seeing) and one extension called relational concept analysis to arrive at a mathematically motivated ontology in knowledge representation.