tags:: 00-01, 18-01, 68P20, 68T30, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, H.2.1, H.5.2, Mathematics - Category Theory, type/external/reference
day: 2012/01/31 1102.1889 a categorical framework for knowledge representation a categorical framework for knowledge representation ONE ONE I. Spivak]], [[Robert E. Kent]] library](zotero://select/library/items/RCTMVHRL), Web library