{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T11:03:27Z","timestamp":1784113407593,"version":"3.55.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:00:00Z","timestamp":1777852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:00:00Z","timestamp":1777852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-23-1-0133"],"award-info":[{"award-number":["FA9550-23-1-0133"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1007\/s10485-026-09866-y","type":"journal-article","created":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T07:47:52Z","timestamp":1777880872000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Presheaves on Lax Double Functors; Or, Instances of Models of Double Theories"],"prefix":"10.1007","volume":"34","author":[{"given":"Kevin","family":"Carlson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evan","family":"Patterson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,4]]},"reference":[{"key":"9866_CR1","doi-asserted-by":"publisher","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994). https:\/\/doi.org\/10.1017\/CBO9780511600579","DOI":"10.1017\/CBO9780511600579"},{"key":"9866_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511760754","volume-title":"Algebraic Theories: A Categorical Introduction to General Algebra","author":"J Ad\u00e1mek","year":"2010","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J., Vitale, E.M.: Algebraic Theories: A Categorical Introduction to General Algebra. Cambridge University Press, Cambridge (2010). https:\/\/doi.org\/10.1017\/CBO9780511760754"},{"key":"9866_CR3","doi-asserted-by":"publisher","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 (2024). https:\/\/doi.org\/10.32408\/compositionality-6-2. arXiv:2301.01445","DOI":"10.32408\/compositionality-6-2"},{"key":"9866_CR4","unstructured":"Aleiferi, E.: Cartesian double categories with an emphasis on characterizing spans. PhD thesis, Dalhousie University (2018)"},{"key":"9866_CR5","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.jalgebra.2024.08.040","volume":"663","author":"N Arkor","year":"2025","unstructured":"Arkor, N., McDermott, D.: Relative monadicity. J. Algebra 663, 399\u2013434 (2025). https:\/\/doi.org\/10.1016\/j.jalgebra.2024.08.040","journal-title":"J. Algebra"},{"key":"9866_CR6","unstructured":"Arlin, K., Fairbanks, J., Hosgood, T., Patterson, E.: The diagrammatic presentation of equations in categories (2024) arXiv:2401.09751"},{"key":"9866_CR7","unstructured":"Baez, J.C., Chaudhuri, A.: Graphs with polarities (2025) arXiv:2506.23375"},{"key":"9866_CR8","unstructured":"B\u00e9nabou, J.: Distributors at Work. Lecture notes by Thomas Streicher from a course at TU Darmstadt (2000). https:\/\/www2.mathematik.tu-darmstadt.de\/%7Estreicher\/FIBR\/DiWo.pdf"},{"key":"9866_CR9","doi-asserted-by":"publisher","unstructured":"B\u00e9nabou, J.: Introduction to bicategories. In: B\u00e9nabou, J., Davis, R., Dold, A., Isbell, J., MacLane, S., Oberst, U., Roos, J.-E. (eds.) Reports of the Midwest Category Seminar. Lecture Notes in Mathematics, vol. 47, pp. 1\u201377. Springer, Berlin (1967). https:\/\/doi.org\/10.1007\/BFb0074299","DOI":"10.1007\/BFb0074299"},{"key":"9866_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10485-020-09615-9","volume":"29","author":"AS Cigoli","year":"2021","unstructured":"Cigoli, A.S., Mantovani, S., Metere, G.: Discrete and conservative factorizations in $${\\rm Fib} (b)$$. Appl. Categ. Struct. 29, 249\u2013265 (2021). https:\/\/doi.org\/10.1007\/s10485-020-09615-9. arXiv:1909.10822","journal-title":"Appl. Categ. Struct."},{"issue":"17","key":"9866_CR11","first-page":"375","volume":"11","author":"JRB Cockett","year":"2003","unstructured":"Cockett, J.R.B., Koslowski, J., Seely, R.A.G., Wood, R.J.: Modules. Theory Appl. Categ. 11(17), 375\u2013396 (2003)","journal-title":"Theory Appl. Categ."},{"issue":"21","key":"9866_CR12","doi-asserted-by":"publisher","first-page":"580","DOI":"10.70930\/tac\/mxocppsl","volume":"24","author":"GSH Cruttwell","year":"2010","unstructured":"Cruttwell, G.S.H., Shulman, M.A.: A unified framework for generalized multicategories. Theory and Applications of Categories 24(21), 580\u2013655 (2010). arXiv:0907.2460","journal-title":"Theory and Applications of Categories"},{"issue":"3","key":"9866_CR13","first-page":"162","volume":"40","author":"M Grandis","year":"1999","unstructured":"Grandis, M., Par\u00e9, R.: Limits in double categories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 40(3), 162\u2013220 (1999)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9866_CR14","unstructured":"Joyal, A.: Factorisation systems. Joyal\u2019s CatLab. https:\/\/ncatlab.org\/joyalscatlab\/published\/Factorisation+systems"},{"issue":"1","key":"9866_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700006353","volume":"22","author":"GM Kelly","year":"1980","unstructured":"Kelly, G.M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Aust. Math. Soc. 22(1), 1\u201383 (1980). https:\/\/doi.org\/10.1017\/S0004972700006353","journal-title":"Bull. Aust. Math. Soc."},{"key":"9866_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2024.109630","volume":"444","author":"M Lambert","year":"2024","unstructured":"Lambert, M., Patterson, E.: Cartesian double theories: A double-categorical framework for categorical doctrines. Adv. Math. 444, 109630 (2024). https:\/\/doi.org\/10.1016\/j.aim.2024.109630. arXiv:2310.05384","journal-title":"Adv. Math."},{"issue":"1","key":"9866_CR17","first-page":"47","volume":"1","author":"N Martins-Ferreira","year":"2006","unstructured":"Martins-Ferreira, N.: Pseudo-categories. J. Homotopy Relat. Struct. 1(1), 47\u201378 (2006). arXiv:math\/0604549","journal-title":"J. Homotopy Relat. Struct."},{"issue":"31","key":"9866_CR18","first-page":"1159","volume":"35","author":"J Moeller","year":"2020","unstructured":"Moeller, J., Vasilakopoulou, C.: Monoidal Grothendieck construction. Theory Appl. Categ. 35(31), 1159\u20131207 (2020)","journal-title":"Theory Appl. Categ."},{"issue":"17","key":"9866_CR19","first-page":"436","volume":"25","author":"R Par\u00e9","year":"2011","unstructured":"Par\u00e9, R.: Yoneda theory for double categories. Theory Appl. Categ. 25(17), 436\u2013489 (2011)","journal-title":"Theory Appl. Categ."},{"issue":"16","key":"9866_CR20","first-page":"393","volume":"27","author":"R Par\u00e9","year":"2013","unstructured":"Par\u00e9, R.: Composition of modules for lax functors. Theory Appl. Categ. 27(16), 393\u2013444 (2013)","journal-title":"Theory Appl. Categ."},{"key":"9866_CR21","doi-asserted-by":"publisher","unstructured":"Patterson, E., Lynch, O., Fairbanks, J.: Categorical data structures for technical computing. Compositionality (2022). https:\/\/doi.org\/10.32408\/compositionality-4-5. arXiv:2106.04703","DOI":"10.32408\/compositionality-4-5"},{"key":"9866_CR22","unstructured":"Patterson, E.: Products in double categories, revisited (2024) arXiv:2401.08990"},{"key":"9866_CR23","unstructured":"Patterson, E.: Transposing cartesian and other structure in double categories (2024). arXiv:2404.08835"},{"key":"9866_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/9781108936880","volume-title":"Elements of $$\\infty $$-Category Theory","author":"E Riehl","year":"2022","unstructured":"Riehl, E., Verity, D.: Elements of $$\\infty $$-Category Theory. Cambridge University Press, Cambridge (2022). https:\/\/doi.org\/10.1017\/9781108936880"},{"issue":"16","key":"9866_CR25","first-page":"547","volume":"32","author":"P Schultz","year":"2017","unstructured":"Schultz, P., Spivak, D.I., Vasilakopoulou, C., Wisnesky, R.: Algebraic databases. Theory Appl. Categ. 32(16), 547\u2013619 (2017). arXiv:1602.03501","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"9866_CR26","doi-asserted-by":"publisher","first-page":"24274","DOI":"10.1371\/journal.pone.0024274","volume":"7","author":"DI Spivak","year":"2012","unstructured":"Spivak, D.I., Kent, R.E.: Ologs: a categorical framework for knowledge representation. PLoS ONE 7(1), 24274 (2012). https:\/\/doi.org\/10.1371\/journal.pone.0024274. arXiv:1102.1889","journal-title":"PLoS ONE"},{"issue":"5","key":"9866_CR27","doi-asserted-by":"publisher","first-page":"936","DOI":"10.1090\/S0002-9904-1973-13268-9","volume":"79","author":"R Street","year":"1973","unstructured":"Street, R., Walters, R.F.C.: The comprehensive factorization of a functor. Bull. Am. Math. Soc. 79(5), 936\u2013941 (1973). https:\/\/doi.org\/10.1090\/S0002-9904-1973-13268-9","journal-title":"Bull. Am. Math. Soc."},{"key":"9866_CR28","unstructured":"Verity, D.: Enriched categories, internal categories and change of base. Reprints in Theory Appl. Categ. (20), 1\u2013266 (2011). Originally published as PhD thesis, Cambridge University (1992)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09866-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-026-09866-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09866-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T10:03:39Z","timestamp":1784109819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-026-09866-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,4]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,8]]}},"alternative-id":["9866"],"URL":"https:\/\/doi.org\/10.1007\/s10485-026-09866-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,4]]},"assertion":[{"value":"30 September 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 April 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","label":"Competing interests","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","label":"Ethical Approval and Consent to Participate","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":3,"name":"Ethics","label":"Consent for publication","group":{"name":"EthicsHeading","label":"Declarations"}}],"article-number":"30"}}