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