David I. Spivak
↑ 5 References
tags:: Mathematics - Category Theory, type/external/reference 1803.05316 Sketches in Compositionality: An Invitation to Applied Category Theory Sketches in Compositionality: An Invitation to Applied Category Theory Sketches in Compositionality [math] Fong](graph/brendan-fong), David I. Spivak library](zotero://select/library/items/Q4UJ7C75), Web library
tags:: Mathematics - Category Theory, type/external/reference 1803.05316 Sketches in Compositionality: An Invitation to Applied Category Theory Sketches in Compositionality: An Invitation to Applied Category Theory Sketches in Compositionality [math] Fong](graph/brendan-fong), David I. Spivak library](zotero://select/library/items/Q4UJ7C75), Web library
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 1102.1889 a categorical framework for knowledge representation a categorical framework for knowledge representation ONE ONE I. Spivak](graph/david-i-spivak), Robert E. Kent library](zotero://select/library/items/RCTMVHRL), Web library