We claim that combining “things”, whatever these things are, is made easier if these things can be seen as the objects of a category. Then things are related by morphisms, and the categorical machinery provides various tools for combining things, typically limits and colimits, as well as other constructions. What should be required from an object in a category to call it a logic? The analysis o...