{"id":"https://openalex.org/W2770981215","doi":"https://doi.org/10.1109/lics.2019.8785665","title":"Backprop as Functor: A compositional perspective on supervised learning","display_name":"Backprop as Functor: A compositional perspective on supervised learning","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2770981215","doi":"https://doi.org/10.1109/lics.2019.8785665","mag":"2770981215"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2019.8785665","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785665","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1711.10455","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082329552","display_name":"Brendan Fong","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brendan Fong","raw_affiliation_strings":["Department of Mathematics, Massachusetts Institute of Technology","#N#        Department of Mathematics, Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"#N#        Department of Mathematics, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014088772","display_name":"David I. Spivak","orcid":"https://orcid.org/0000-0002-9326-5328"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Spivak","raw_affiliation_strings":["Department of Mathematics, Massachusetts Institute of Technology","#N#        Department of Mathematics, Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"#N#        Department of Mathematics, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012350221","display_name":"R\u00e9my Tuy\u00e9ras","orcid":"https://orcid.org/0000-0002-5032-4113"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Remy Tuyeras","raw_affiliation_strings":["Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology","Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology#TAB#","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":1.3485,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.81989226,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9359999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.8162792921066284},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6849526166915894},{"id":"https://openalex.org/keywords/backpropagation","display_name":"Backpropagation","score":0.6099703311920166},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6017757058143616},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5919259786605835},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5727537870407104},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5601823925971985},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5477173328399658},{"id":"https://openalex.org/keywords/descent","display_name":"Descent (aeronautics)","score":0.5388123393058777},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5277659893035889},{"id":"https://openalex.org/keywords/gradient-descent","display_name":"Gradient descent","score":0.5180113911628723},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4794789254665375},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.40663161873817444},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33969220519065857},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3290282189846039},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.06374853849411011}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.8162792921066284},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6849526166915894},{"id":"https://openalex.org/C155032097","wikidata":"https://www.wikidata.org/wiki/Q798503","display_name":"Backpropagation","level":3,"score":0.6099703311920166},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6017757058143616},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5919259786605835},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5727537870407104},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5601823925971985},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5477173328399658},{"id":"https://openalex.org/C2776637919","wikidata":"https://www.wikidata.org/wiki/Q624380","display_name":"Descent (aeronautics)","level":2,"score":0.5388123393058777},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5277659893035889},{"id":"https://openalex.org/C153258448","wikidata":"https://www.wikidata.org/wiki/Q1199743","display_name":"Gradient descent","level":3,"score":0.5180113911628723},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4794789254665375},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.40663161873817444},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33969220519065857},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3290282189846039},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.06374853849411011},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/lics.2019.8785665","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785665","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1711.10455","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1711.10455","pdf_url":"https://arxiv.org/pdf/1711.10455","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2770981215","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1711.10455.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:dspace.mit.edu:1721.1/123513","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/123513","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"David Spivak","raw_type":"http://purl.org/eprint/type/ConferencePaper"},{"id":"doi:10.48550/arxiv.1711.10455","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1711.10455","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1711.10455","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1711.10455","pdf_url":"https://arxiv.org/pdf/1711.10455","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2770981215.pdf","grobid_xml":"https://content.openalex.org/works/W2770981215.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1514879827","https://openalex.org/W1538131130","https://openalex.org/W1915485278","https://openalex.org/W1973799895","https://openalex.org/W2114991530","https://openalex.org/W2120713972","https://openalex.org/W2136544532","https://openalex.org/W2146462464","https://openalex.org/W2185493550","https://openalex.org/W2523361026","https://openalex.org/W2558748708","https://openalex.org/W2598985404","https://openalex.org/W2896556344","https://openalex.org/W2949290869","https://openalex.org/W2962868940","https://openalex.org/W2964300838","https://openalex.org/W2965438805","https://openalex.org/W3104708154","https://openalex.org/W6637815478","https://openalex.org/W6686244039","https://openalex.org/W6764899025"],"related_works":["https://openalex.org/W2036972549","https://openalex.org/W2884604011","https://openalex.org/W2082387393","https://openalex.org/W1505758490","https://openalex.org/W2505024665","https://openalex.org/W3202329562","https://openalex.org/W2320566062","https://openalex.org/W3171952585","https://openalex.org/W2092871671","https://openalex.org/W2885023120","https://openalex.org/W2336019627","https://openalex.org/W2787791874","https://openalex.org/W3204173338","https://openalex.org/W2100911719","https://openalex.org/W2385769725","https://openalex.org/W53093415","https://openalex.org/W2244565188","https://openalex.org/W2783378529","https://openalex.org/W179044985","https://openalex.org/W145334166"],"abstract_inverted_index":{"A":[0,101],"supervised":[1],"learning":[2],"algorithm":[3],"searches":[4],"over":[5],"a":[6,16,58,74,83,86,90,112,118],"set":[7],"of":[8,92,98,107,121],"functions":[9,94],"<tex":[10,18,30,41],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[11,19,31,42],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$A\\rightarrow":[12],"B$</tex>":[13,33,46],"parametrised":[14,93],"by":[15,38],"space":[17],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$P$</tex>":[20],"to":[21,26,53,73,95],"find":[22],"the":[23,50,105],"best":[24],"approximation":[25],"some":[27,54],"ideal":[28],"function":[29,81],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$f:A\\rightarrow":[32],".":[34],"It":[35],"does":[36],"this":[37,96],"taking":[39],"examples":[40],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$(a,":[43],"f(a))\\in":[44],"A\\times":[45],",":[47],"and":[48,67,78,124,132],"updating":[49],"parameter":[51],"according":[52],"rule.":[55],"We":[56],"define":[57],"category":[59,91,97],"where":[60],"these":[61],"update":[62,99],"rules":[63],"may":[64],"be":[65],"composed,":[66],"show":[68],"that":[69],"gradient":[70],"descent-with":[71],"respect":[72],"fixed":[75],"step":[76],"size":[77],"an":[79],"error":[80],"satisfying":[82],"certain":[84],"property-defines":[85],"monoidal":[87],"functor":[88],"from":[89,129],"rules.":[100],"key":[102],"contribution":[103],"is":[104],"notion":[106],"request":[108],"function.":[109],"This":[110],"provides":[111],"structural":[113],"perspective":[114],"on":[115],"backpropagation,":[116],"giving":[117],"broad":[119],"generalisation":[120],"neural":[122],"networks":[123],"linking":[125],"it":[126],"with":[127],"structures":[128],"bidirectional":[130],"programming":[131],"open":[133],"games.":[134]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}