{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:32:03Z","timestamp":1755217923055,"version":"3.43.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032006851"},{"type":"electronic","value":"9783032006868"}],"license":[{"start":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T00:00:00Z","timestamp":1754438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T00:00:00Z","timestamp":1754438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-00686-8_1","type":"book-chapter","created":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T22:05:19Z","timestamp":1754431519000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating Machine Learning Systems via\u00a0Category Theory: Applications to\u00a0Spherical Attention for\u00a0Gene Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Abbott","sequence":"first","affiliation":[]},{"given":"Kotaro","family":"Kamiya","sequence":"additional","affiliation":[]},{"given":"Gerard","family":"Glowacki","sequence":"additional","affiliation":[]},{"given":"Yu","family":"Atsumi","sequence":"additional","affiliation":[]},{"given":"Gioele","family":"Zardini","sequence":"additional","affiliation":[]},{"given":"Yoshihiro","family":"Maruyama","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,6]]},"reference":[{"key":"1_CR1","unstructured":"Abbott, V.: Neural circuit diagrams: robust diagrams for the communication, implementation, and analysis of deep learning architectures. Trans. Mach. Learn. Res. (2023)"},{"key":"1_CR2","unstructured":"Abbott, V.: Robust diagrams for deep learning architectures: applications and theory. Honours Thesis, The Australian National University, Canberra, October 2023"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Abbott, V., Xu, T., Maruyama, Y.: Category theory for artificial general intelligence. In: Artificial General Intelligence: 17th International Conference, AGI 2024, Seattle, WA, USA, 13\u201316 August 2024, Proceedings, pp. 119\u2013129, Springer, Berlin, Heidelberg, August 2024","DOI":"10.1007\/978-3-031-65572-2_13"},{"key":"1_CR4","unstructured":"Abbott, V., Zardini, G.: FlashAttention on a Napkin: a diagrammatic approach to deep learning IO-awareness. Trans. Mach. Learn. Res. (2024)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Tzevelekos, N.: Introduction to categories and categorical logic. vol. 813, pp. 3\u201394 (2010). arXiv:1102.1313 [cs, math]","DOI":"10.1007\/978-3-642-12821-9_1"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Aduddell, R., Fairbanks, J., Kumar, A., Ocal, P.S., Patterson, E., Shapiro, B.T.: A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks. Compositionality 6 (2024), May 2024. Publisher: Episciences.org","DOI":"10.32408\/compositionality-6-2"},{"key":"1_CR7","first-page":"95","volume":"813","author":"C John","year":"2010","unstructured":"John, C.: Baez and mike stay. Physics, topology, logic and computation: a rosetta stone. 813, 95\u2013172 (2010). arXiv:0903.0340 [quant-ph]","journal-title":"Physics, topology, logic and computation: a rosetta stone."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Cruttwell, G.S.H., Gavranovi\u0107, B., Ghani, N., Wilson, P., Zanasi, F.: Categorical foundations of gradient-based learning, July 2021. https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-99336-8_1","DOI":"10.1007\/978-3-030-99336-8_1"},{"key":"1_CR9","unstructured":"Dao, T.: FlashAttention-2: faster attention with better parallelism and work partitioning. October 2023. https:\/\/openreview.net\/forum?id=mZn2Xyh9Ec"},{"key":"1_CR10","unstructured":"Dao, T., Fu, D.Y., Ermon, S., Rudra, A., R\u00e9, C.: FlashAttention: fast and memory-efficient exact attention with IO-awareness, June 2022. https:\/\/openreview.net\/forum?id=H4DqfPSibmx"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Fong, B., Spivak, D.I., Tuy\u00e9ras, R.: Backprop as Functor: a compositional perspective on supervised learning. In: 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, 24\u201327 June 2019, pp. 1\u201313. IEEE (2019)","DOI":"10.1109\/LICS.2019.8785665"},{"key":"1_CR12","unstructured":"Gavranovi\u0107, B., Lessard, P., Dudzik, A., von Glehn, T., Ara\u00fajo, J.G.M., Veli\u010dkovi\u0107, P.: Position: categorical deep learning: an algebraic theory of architectures, February 2024. https:\/\/dl.acm.org\/doi\/10.5555\/3692070.3692679"},{"key":"1_CR13","unstructured":"Paszke, A., et al.: PyTorch: an imperative style, high-performance deep learning library, December 2019. arXiv:1912.01703"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories, August 2009","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"1_CR15","unstructured":"Shah, J., Bikshandi, G., Zhang, Y., Thakkar, V., Ramani, P., Dao, T.: FlashAttention-3: fast and accurate attention with asynchrony and low-precision, July 2024. arXiv:2407.08608"},{"key":"1_CR16","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Guyon, I., von Luxburg, U.,\u00a0Bengio, S., Wallach, H.M., Fergus, R., Vishwanathan, S.V.N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 4\u20139 December 2017, Long Beach, CA, USA, pp. 5998\u20136008 (2017)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Wilson, P., Zanasi, F.: Categories of differentiable polynomial circuits for machine learning, May 2022. https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-09843-7_5","DOI":"10.1007\/978-3-031-09843-7_5"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Xu, T., Maruyama, Y.: Neural string diagrams: a universal modelling language for categorical deep learning. In: Goertzel, B., Ikl\u00e9, M., Potapov, A., (eds.) Artificial General Intelligence, LNCS, pp. 306\u2013315, Springer, Cham (2022)","DOI":"10.1007\/978-3-030-93758-4_32"},{"key":"1_CR19","unstructured":"Zardini, G.: Co-design of complex systems: from autonomy to future mobility systems. Doctoral Thesis, ETH Zurich, 2023. Accepted 19 Dec 2023, T10:03:57Z"}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00686-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T22:05:31Z","timestamp":1754431531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00686-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,6]]},"ISBN":["9783032006851","9783032006868"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00686-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,6]]},"assertion":[{"value":"6 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AGI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial General Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reykjavic","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iceland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"agi2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/agi-conf.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}