{"id":22,"date":"2026-09-02T14:44:07","date_gmt":"2026-09-02T12:44:07","guid":{"rendered":"https:\/\/pesch.perso.lip6.fr\/?page_id=22"},"modified":"2026-09-02T14:44:07","modified_gmt":"2026-09-02T12:44:07","slug":"category-theory","status":"publish","type":"page","link":"https:\/\/pesch.perso.lip6.fr\/?page_id=22","title":{"rendered":"Category (Theory)"},"content":{"rendered":"\n<details class=\"wp-block-details is-layout-flow wp-block-details-is-layout-flow\"><summary>How abstract mathematics can be useful in Computer Science and Software Engineering ?<\/summary>\n<p class=\"wp-block-paragraph\"><\/p>\n<\/details>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Free constructions<\/li>\n\n\n\n<li>Graphs vs. categories<\/li>\n\n\n\n<li>(Typed) Functional Programming (Ocaml, Haskell, etc.)<\/li>\n\n\n\n<li>Dependent Type Systems<\/li>\n\n\n\n<li>Proof assistants (Rocq, Lean4, etc.)<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-22","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=\/wp\/v2\/pages\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=22"}],"version-history":[{"count":1,"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":23,"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=\/wp\/v2\/pages\/22\/revisions\/23"}],"wp:attachment":[{"href":"https:\/\/pesch.perso.lip6.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}