@Ologs: a categorical framework for knowledge representation → [[notes]] → Disadvantage →