{"id":"https://openalex.org/W4414402391","doi":"https://doi.org/10.4204/eptcs.429.6","title":"Reverse Fa\u00e0 di Bruno's Formula for Cartesian Reverse Differential Categories","display_name":"Reverse Fa\u00e0 di Bruno's Formula for Cartesian Reverse Differential Categories","publication_year":2025,"publication_date":"2025-09-22","ids":{"openalex":"https://openalex.org/W4414402391","doi":"https://doi.org/10.4204/eptcs.429.6"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.429.6","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.429.6","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.6.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119693997","display_name":"Aaron Biggin","orcid":null},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Aaron Biggin","raw_affiliation_strings":["Macquarie University"],"affiliations":[{"raw_affiliation_string":"Macquarie University","institution_ids":["https://openalex.org/I99043593"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064711276","display_name":"Jean-Simon Pacaud Lemay","orcid":"https://orcid.org/0000-0003-4124-3722"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jean-Simon Pacaud Lemay","raw_affiliation_strings":["Macquarie University"],"affiliations":[{"raw_affiliation_string":"Macquarie University","institution_ids":["https://openalex.org/I99043593"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5119693997"],"corresponding_institution_ids":["https://openalex.org/I99043593"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35936704,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"429","issue":null,"first_page":"115","last_page":"129"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12508","display_name":"Functional Equations Stability Results","score":0.6466000080108643,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12508","display_name":"Functional Equations Stability Results","score":0.6466000080108643,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.6037999987602234,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.578499972820282},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5041999816894531},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.5026999711990356},{"id":"https://openalex.org/keywords/chain","display_name":"Chain (unit)","score":0.48750001192092896},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.47940000891685486},{"id":"https://openalex.org/keywords/cartesian-coordinate-system","display_name":"Cartesian coordinate system","score":0.4684000015258789},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.3375000059604645}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6496000289916992},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.578499972820282},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5041999816894531},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.5026999711990356},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.48750001192092896},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.47940000891685486},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.4684000015258789},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3779999911785126},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3246000111103058},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C53846429","wikidata":"https://www.wikidata.org/wiki/Q186475","display_name":"Partial derivative","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C56802139","wikidata":"https://www.wikidata.org/wiki/Q149999","display_name":"Differential calculus","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C2777382958","wikidata":"https://www.wikidata.org/wiki/Q1345498","display_name":"Reverse logistics","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C127753061","wikidata":"https://www.wikidata.org/wiki/Q2005236","display_name":"Reverse mathematics","level":3,"score":0.25850000977516174},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4204/eptcs.429.6","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.429.6","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.6.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2509.20931","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.20931","pdf_url":"https://arxiv.org/pdf/2509.20931","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.4204/eptcs.429.6","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.429.6","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.6.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320320591","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414402391.pdf","grobid_xml":"https://content.openalex.org/works/W4414402391.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reverse":[0],"differentiation":[1,14],"is":[2,25,31],"an":[3],"essential":[4],"operation":[5],"for":[6],"automatic":[7],"differentiation.Cartesian":[8],"reverse":[9,13,27,37,45,57,63,73,77,82],"differential":[10,46,64,83],"categories":[11],"axiomatize":[12],"in":[15,60,79],"a":[16,40,55,61,80],"categorical":[17],"framework,":[18],"where":[19],"one":[20],"of":[21,39,48],"the":[22,26,32,36,44],"primary":[23],"axioms":[24],"chain":[28,58],"rule,":[29],"which":[30,53],"formula":[33],"that":[34],"expresses":[35],"derivative":[38],"composition.Here,":[41],"we":[42,69],"present":[43],"analogue":[47],"Fa":[49],"di":[50],"Bruno's":[51],"Formula,":[52],"gives":[54],"higher-order":[56,76],"rule":[59],"Cartesian":[62,81],"category.To":[65],"properly":[66],"do":[67],"so,":[68],"also":[70],"define":[71],"partial":[72],"derivatives":[74,78],"and":[75],"category.":[84]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}