arXiv Fulltext PDF {{zotero-imported-file YT8TKSZQ, “Spivak and Kent - 2012 - Ologs a categorical framework for knowledge repre.pdf”}}