{"id":7360,"date":"2018-03-18T14:54:58","date_gmt":"2018-03-18T13:54:58","guid":{"rendered":"http:\/\/kmr.dialectica.se\/wp\/?page_id=7360"},"modified":"2022-03-09T17:28:45","modified_gmt":"2022-03-09T16:28:45","slug":"categorical-informatics","status":"publish","type":"page","link":"https:\/\/kmr.placify.me\/wp\/research\/math-rehab\/learning-object-repository\/category-theory\/categorical-informatics\/","title":{"rendered":"Categorical Informatics"},"content":{"rendered":"<p>This page is a sub-page of our page on <a title=\"Category Theory at the KMR web site\" href=\"https:\/\/kmr.placify.me\/wp\/research\/math-rehab\/learning-object-repository\/category-theory\/\" target=\"_blank\" rel=\"noopener\">Category Theory<\/a>.<\/p>\n<p>\/\/\/\/\/\/\/<\/p>\n<p><strong>Related KMR pages<\/strong>:<\/p>\n<p>\u2022 &#8230;<\/p>\n<p>\/\/\/\/\/\/\/<\/p>\n<p><strong>Books<\/strong>:<\/p>\n<p>\u2022 <a title=\"MIT Press, 2014\" href=\"https:\/\/www.amazon.com\/Category-Theory-Sciences-MIT-Press\/dp\/0262028131\" target=\"_blank\" rel=\"noopener\">Category Theory for the Sciences<\/a> by David I. Spivak<br \/>\n\u2022 <a title=\"In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics, Second Edition, introduces the concept of 'category' for the learning, development, and use of mathematics, to both beginning students and general readers, and to practicing mathematical scientists. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by examples in these categories.\" href=\"https:\/\/www.amazon.com\/Conceptual-Mathematics-First-Introduction-Categories\/dp\/052171916X\/ref=pd_sbs_4?pd_rd_w=zOQfS&amp;pf_rd_p=5e0f7f8d-f321-4a3e-bdac-3142fcd848d7&amp;pf_rd_r=W3XQ01553X9KR7A7WXVD&amp;pd_rd_r=97de4319-51a6-4e7a-9ee3-1d1199ef9b3c&amp;pd_rd_wg=7MNYm&amp;pd_rd_i=052171916X&amp;psc=1\" target=\"_blank\" rel=\"noopener\">Conceptual Mathematics: A First Introduction to Category Theory<\/a> by <a title=\"at Wikipedia\" href=\"https:\/\/en.wikipedia.org\/wiki\/William_Lawvere\" target=\"_blank\" rel=\"noopener\">F. William Lawvere<\/a> and <a title=\"at Wikipedia\" href=\"https:\/\/en.wikipedia.org\/wiki\/Stephen_Schanuel\" target=\"_blank\" rel=\"noopener\">Stephen H. Schanuel<\/a>, Cambridge University Press, 1997<\/p>\n<p>\/\/\/\/\/\/\/<\/p>\n<p><strong>Other relevant sources of information<\/strong>:<\/p>\n<p>\u2022 <a title=\"at http:\/\/math.mit.edu\/~dspivak\/\" href=\"http:\/\/math.mit.edu\/~dspivak\/informatics\/\" target=\"_blank\" rel=\"noopener\">Categorical Informatics<\/a> at David I Spivak&#8217;s home page.<br \/>\n\u2022 <a title=\"Categorical Informatics (at catinf.com)\" href=\"http:\/\/catinf.com\/\" target=\"_blank\" rel=\"noopener\">Refactor your legacy database &#8211; without breaking what relies on it<\/a>: High-assurance data integration with mathematical rigor.<br \/>\n\u2022\u00a0<a title=\"Correct by Construction (Michael Birch, developer for the RChain platform)\" href=\"https:\/\/medium.com\/rchain-cooperative\/a-visualization-for-the-future-of-blockchain-consensus-b6710b2f50d6\" target=\"_blank\" rel=\"noopener\">Correct-by-construction Casper | A Visualization for the Future of Blockchain Consensus<\/a>.<\/p>\n<p>\/\/\/\/\/\/\/<\/p>\n<p><strong>Negozilla<\/strong>:<\/p>\n<p><a href=\"https:\/\/kmr.placify.me\/wp\/wp-content\/uploads\/2018\/02\/Negozilla-1.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-2771 size-medium\" src=\"https:\/\/kmr.placify.me\/wp\/wp-content\/uploads\/2018\/02\/Negozilla-1-300x219.png\" alt=\"Negozilla\" width=\"300\" height=\"219\" srcset=\"https:\/\/kmr.placify.me\/wp\/wp-content\/uploads\/2018\/02\/Negozilla-1-300x219.png 300w, https:\/\/kmr.placify.me\/wp\/wp-content\/uploads\/2018\/02\/Negozilla-1-1024x746.png 1024w, https:\/\/kmr.placify.me\/wp\/wp-content\/uploads\/2018\/02\/Negozilla-1-768x559.png 768w, https:\/\/kmr.placify.me\/wp\/wp-content\/uploads\/2018\/02\/Negozilla-1.png 1436w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><\/p>\n<p>\/\/\/\/\/\/\/<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This page is a sub-page of our page on Category Theory. \/\/\/\/\/\/\/ Related KMR pages: \u2022 &#8230; \/\/\/\/\/\/\/ Books: \u2022 Category Theory for the Sciences by David I. Spivak \u2022 Conceptual Mathematics: A First Introduction to Category Theory by F. William Lawvere and Stephen H. Schanuel, Cambridge University Press, 1997 \/\/\/\/\/\/\/ Other relevant sources of &hellip; <a href=\"https:\/\/kmr.placify.me\/wp\/research\/math-rehab\/learning-object-repository\/category-theory\/categorical-informatics\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Categorical Informatics<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":2751,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-7360","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/7360","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/comments?post=7360"}],"version-history":[{"count":1,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/7360\/revisions"}],"predecessor-version":[{"id":33634,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/7360\/revisions\/33634"}],"up":[{"embeddable":true,"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/pages\/2751"}],"wp:attachment":[{"href":"https:\/\/kmr.placify.me\/wp\/wp-json\/wp\/v2\/media?parent=7360"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}