{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T04:19:14Z","timestamp":1745554754627,"version":"3.40.4"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T00:00:00Z","timestamp":1741219200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T00:00:00Z","timestamp":1741219200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"JSPS Research Fellowship for Young Scientists"},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["23KJ1365"],"award-info":[{"award-number":["23KJ1365"]}],"id":[{"id":"10.13039\/501100001691","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":[[2025,4]]},"DOI":"10.1007\/s10485-025-09799-y","type":"journal-article","created":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T14:00:02Z","timestamp":1741269602000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Double Categories of Relations Relative to Factorisation Systems"],"prefix":"10.1007","volume":"33","author":[{"given":"Keisuke","family":"Hoshino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hayato","family":"Nasu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,6]]},"reference":[{"key":"9799_CR1","first-page":"509","volume":"8","author":"J Ad\u00e1mek","year":"2001","unstructured":"Ad\u00e1mek, J., El Bashir, R., Sobral, M., Velebil, J.: On functors which are lax epimorphisms. Theory Appl. Categ. 8, 509\u2013521 (2001)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR2","unstructured":"Aleiferi, E.: Cartesian double categories with an emphasis on characterizing spans. PhD thesis, Dalhousie University, Halifax, Nova Scotia (2018). Preprint at arxiv:1809.06940"},{"key":"9799_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e9nabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar. Lecture Notes in Math., vol. No. 47, pp 1\u201377. Springer, Berlin-New York (1967)","DOI":"10.1007\/BFb0074299"},{"issue":"3","key":"9799_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1515\/tmj-2017-0112","volume":"10","author":"C Berger","year":"2017","unstructured":"Berger, C., Kaufmann, R.M.: Comprehensive factorisation systems. Tbilisi Math. J. 10(3), 255\u2013277 (2017). https:\/\/doi.org\/10.1515\/tmj-2017-0112","journal-title":"Tbilisi Math. J."},{"key":"9799_CR5","first-page":"35","volume":"51","author":"R Betti","year":"1996","unstructured":"Betti, R.: Formal theory of internal categories. Matematiche (Catania) 51, 35\u201352 (1996)","journal-title":"Matematiche (Catania)"},{"issue":"2","key":"9799_CR6","first-page":"133","volume":"27","author":"F Borceux","year":"1986","unstructured":"Borceux, F., Dejean, D.: Cauchy completion in category theory. Cahiers Topol. G\u00e9om. Diff. Cat\u00e9g. 27(2), 133\u2013146 (1986)","journal-title":"Cahiers Topol. G\u00e9om. Diff. Cat\u00e9g."},{"issue":"1","key":"9799_CR7","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.jpaa.2015.06.002","volume":"220","author":"J Bourke","year":"2016","unstructured":"Bourke, J., Garner, R.: Algebraic weak factorisation systems I: accessible AWFS. J. Pure Appl. Algebra 220(1), 108\u2013147 (2016). https:\/\/doi.org\/10.1016\/j.jpaa.2015.06.002","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9799_CR8","first-page":"197","volume":"28","author":"D Bourn","year":"1987","unstructured":"Bourn, D.: The shift functor and the comprehensive factorization for internal groupoids. Cahiers Topol. G\u00e9om. Diff. Cat\u00e9g. 28(3), 197\u2013226 (1987)","journal-title":"Cahiers Topol. G\u00e9om. Diff. Cat\u00e9g."},{"issue":"1\u20132","key":"9799_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories. I. J. Pure Appl. Algebra 49(1\u20132), 11\u201332 (1987). https:\/\/doi.org\/10.1016\/0022-4049(87)90121-6","journal-title":"I. J. Pure Appl. Algebra"},{"issue":"3","key":"9799_CR10","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0022-4049(84)90061-6","volume":"33","author":"A Carboni","year":"1984","unstructured":"Carboni, A., Kasangian, S., Street, R.: Bicategories of spans and relations. J. Pure Appl. Algebra 33(3), 259\u2013267 (1984). https:\/\/doi.org\/10.1016\/0022-4049(84)90061-6","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9799_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008620404444","volume":"5","author":"A Carboni","year":"1997","unstructured":"Carboni, A., Janelidze, G., Kelly, G.M., Par\u00e9, R.: On localization and stabilization for factorization systems. Appl. Categ. Struct. 5(1), 1\u201358 (1997). https:\/\/doi.org\/10.1023\/A:1008620404444","journal-title":"Appl. Categ. Struct."},{"key":"9799_CR12","first-page":"93","volume":"19","author":"A Carboni","year":"2007","unstructured":"Carboni, A., Kelly, G.M., Walters, R.F.C., Wood, R.J.: Cartesian bicategories II. Theory Appl. Categ. 19, 93\u2013124 (2007)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR13","first-page":"21","volume":"24","author":"GSH Cruttwell","year":"2010","unstructured":"Cruttwell, G.S.H., Shulman, M.A.: A unified framework for generalized multicategories. Theory Appl. Categ. 24, 21\u2013580655 (2010)","journal-title":"Theory Appl. Categ."},{"issue":"3","key":"9799_CR14","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1017\/S0004972700023509","volume":"16","author":"BJ Day","year":"1977","unstructured":"Day, B.J.: Density presentations of functors. Bull. Austral. Math. Soc. 16(3), 427\u2013448 (1977). https:\/\/doi.org\/10.1017\/S0004972700023509","journal-title":"Bull. Austral. Math. Soc."},{"key":"9799_CR15","first-page":"1198","volume":"256","author":"C Ehresmann","year":"1963","unstructured":"Ehresmann, C.: Cat\u00e9gories doubles et cat\u00e9gories structur\u00e9es. C. R. Acad. Sci. Paris 256, 1198\u20131201 (1963)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"9799_CR16","first-page":"16","volume":"10","author":"R El Bashir","year":"2002","unstructured":"El Bashir, R., Velebil, J.: Simultaneously reflective and coreflective subcategories of presheaves. Theory Appl. Categ. 10, 16\u2013410423 (2002)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR17","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39, pp 296. North-Holland Publishing Co., Amsterdam (1990)"},{"key":"9799_CR18","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0022-4049(72)90001-1","volume":"2","author":"PJ Freyd","year":"1972","unstructured":"Freyd, P.J., Kelly, G.M.: Categories of continuous functors. I. J. Pure Appl. Algebra 2, 169\u2013191 (1972). https:\/\/doi.org\/10.1016\/0022-4049(72)90001-1","journal-title":"I. J. Pure Appl. Algebra"},{"key":"9799_CR19","unstructured":"Grandis, M., Pare, R.: Adjoint for double categories. Addenda to: limits in double categories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 45(3), 193\u2013240 (2004)"},{"key":"9799_CR20","doi-asserted-by":"crossref","unstructured":"Grandis, M.: Higher dimensional categories. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, pp 522 (2020). From double to multiple categories","DOI":"10.1142\/11406"},{"issue":"3","key":"9799_CR21","first-page":"162","volume":"40","author":"M Grandis","year":"1999","unstructured":"Grandis, M., Pare, R.: Limits in double categories. Cahiers Topol. G\u00e9om. Diff. Cat\u00e9g. 40(3), 162\u2013220 (1999)","journal-title":"Cahiers Topol. G\u00e9om. Diff. Cat\u00e9g."},{"issue":"9","key":"9799_CR22","doi-asserted-by":"publisher","first-page":"106361","DOI":"10.1016\/j.jpaa.2020.106361","volume":"224","author":"SN Hosseini","year":"2020","unstructured":"Hosseini, S.N., Nasab, A.R.S.A., Tholen, W.: Fraction, restriction, and range categories from stable systems of morphisms. J. Pure Appl. Algebra 224(9), 106361\u201328 (2020). https:\/\/doi.org\/10.1016\/j.jpaa.2020.106361","journal-title":"J. Pure Appl. Algebra"},{"issue":"6","key":"9799_CR23","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1007\/s10485-022-09687-9","volume":"30","author":"SN Hosseini","year":"2022","unstructured":"Hosseini, S.N., Nasab, A.R.S.A., Tholen, W., Yeganeh, L.: Quotients of span categories that are allegories and the representation of regular categories. Appl. Categ. Struct. 30(6), 1177\u20131201 (2022). https:\/\/doi.org\/10.1007\/s10485-022-09687-9","journal-title":"Appl. Categ. Struct."},{"key":"9799_CR24","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/S1571-0661(04)80564-4","volume":"69","author":"J Hughes","year":"2003","unstructured":"Hughes, J., Jacobs, B.: Factorization systems and fibrations: toward a fibred Birkhoff variety theorem. Electron. Notes Theor. Comput. Sci. 69, 156\u2013182 (2003). https:\/\/doi.org\/10.1016\/S1571-0661(04)80564-4. (CTCS '02, Category Theory and Computer Science)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"9799_CR25","first-page":"1","volume":"23","author":"GB Im","year":"1986","unstructured":"Im, G.B., Kelly, G.M.: On classes of morphisms closed under limits. J. Korean Math. Soc. 23(1), 1\u201318 (1986)","journal-title":"J. Korean Math. Soc."},{"key":"9799_CR26","doi-asserted-by":"publisher","unstructured":"Jayewardene, R., Wyler, O.: Categories of relations and functional relations. vol. 8, pp 279\u2013305 (2000). https:\/\/doi.org\/10.1023\/A:1008651524610. Papers in honour of Bernhard Banaschewski (Cape Town, 1996)","DOI":"10.1023\/A:1008651524610"},{"key":"9799_CR27","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an Elephant: a Topos Theory Compendium, Vol. 1. Oxford Logic Guides, vol. 43, pp 468\u201371. The Clarendon Press, Oxford University Press, New York (2002)","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"9799_CR28","doi-asserted-by":"publisher","first-page":"149","DOI":"10.2206\/kyushumfs.27.149","volume":"27","author":"Y Kawahara","year":"1973","unstructured":"Kawahara, Y.: Relations in categories with pullbacks. Mem. Fac. Sci. Kyushu Univ. Ser. A 27, 149\u2013173 (1973). https:\/\/doi.org\/10.2206\/kyushumfs.27.149","journal-title":"Mem. Fac. Sci. Kyushu Univ. Ser. A"},{"key":"9799_CR29","doi-asserted-by":"publisher","unstructured":"Kelly, G.M.: A note on relations relative to a factorization system. In: Category Theory (Como, 1990). Lecture Notes in Math., vol. 1488, pp 249\u2013261. Springer, Berlin (1991). https:\/\/doi.org\/10.1007\/BFb0084224","DOI":"10.1007\/BFb0084224"},{"key":"9799_CR30","unstructured":"Kelly, G.M.: Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series, vol. 64, pp 245. Cambridge University Press, Cambridge, New York (1982)"},{"key":"9799_CR31","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1215\/ijm\/1256052950","volume":"14","author":"A Klein","year":"1970","unstructured":"Klein, A.: Relations in categories. Illinois J. Math. 14, 536\u2013550 (1970)","journal-title":"Illinois J. Math."},{"key":"9799_CR32","unstructured":"Koudenburg, S.R.: Augmented virtual double categories (2022)"},{"key":"9799_CR33","first-page":"27","volume":"29","author":"SR Koudenburg","year":"2014","unstructured":"Koudenburg, S.R.: On pointwise Kan extensions in double categories. Theory Appl. Categ. 29, 27\u2013781818 (2014)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR34","first-page":"1","volume":"24","author":"S Lack","year":"2010","unstructured":"Lack, S., Walters, R.F.C., Wood, R.J.: Bicategories of spans as Cartesian bicategories. Theory Appl. Categ. 24, 1\u2013124 (2010)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR35","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1002\/num.22822","volume":"38","author":"M Lambert","year":"2022","unstructured":"Lambert, M.: Double categories of relations. Theory Appl. Categ. 38, 33\u201312491283 (2022). https:\/\/doi.org\/10.1002\/num.22822","journal-title":"Theory Appl. Categ."},{"key":"9799_CR36","unstructured":"Lawler, F.: Fibrations of predicates and bicategories of relations. PhD thesis, Trinity College, Dublin (2015). Preprint at arxiv:1502.08017"},{"key":"9799_CR37","unstructured":"Lawvere, F.W.: Teoria delle categorie sopra un topos di base. https:\/\/github.com\/mattearnshaw\/lawvere\/blob\/master\/pdfs\/1972-perugia-lecture-notes.pdf. Lecture notes from Perugia (1972)"},{"issue":"4","key":"9799_CR38","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.exmath.2019.02.004","volume":"38","author":"F Loregian","year":"2020","unstructured":"Loregian, F., Riehl, E.: Categorical notions of fibration. Expo. Math. 38(4), 496\u2013514 (2020). https:\/\/doi.org\/10.1016\/j.exmath.2019.02.004","journal-title":"Expo. Math."},{"key":"9799_CR39","unstructured":"Milius, S.: Relations in Categories. Master\u2019s thesis, available at https:\/\/www8.cs.fau.de\/ext\/milius\/thesis\/thesis_a4.pdf"},{"key":"9799_CR40","unstructured":"Myers, D.J.: String Diagrams For Double Categories and Equipments. Preprint at arxiv:1612.02762 (2018)"},{"key":"9799_CR41","unstructured":"Nasu, H.: An Internal Logic of Virtual Double Categories (2024). arxiv:2410.06792"},{"key":"9799_CR42","first-page":"26","volume":"26","author":"S Niefield","year":"2012","unstructured":"Niefield, S.: Span, cospan, and other double categories. Theory Appl. Categ. 26, 26\u2013729742 (2012)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR43","unstructured":"nLab authors: sliced adjoint functors \u2013 section. https:\/\/ncatlab.org\/nlab\/show\/sliced+adjoint+functors+--+section. Revision 9 (2023)"},{"key":"9799_CR44","doi-asserted-by":"publisher","unstructured":"Par\u00e9, R.: Morphisms of rings. In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Outst. Contrib. Log., vol. 20, pp 271\u2013298. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-66545-6_8","DOI":"10.1007\/978-3-030-66545-6_8"},{"issue":"2","key":"9799_CR45","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10485-014-9388-1","volume":"24","author":"F Pasquali","year":"2016","unstructured":"Pasquali, F.: Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness. Appl. Categ. Struct. 24(2), 105\u2013119 (2016). https:\/\/doi.org\/10.1007\/s10485-014-9388-1","journal-title":"Appl. Categ. Struct."},{"issue":"1","key":"9799_CR46","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0022-4049(94)00054-M","volume":"99","author":"D Pavlovi\u0107","year":"1995","unstructured":"Pavlovi\u0107, D.: Maps. I. Relative to a factorisation system. J. Pure Appl. Algebra 99(1), 9\u201334 (1995). https:\/\/doi.org\/10.1016\/0022-4049(94)00054-M","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9799_CR47","first-page":"89","volume":"6","author":"G Rosolini","year":"1999","unstructured":"Rosolini, G.: A note on Cauchy completeness for preorders. Riv. Mat. Univ. Parma 6(2), 89\u201399 (1999)","journal-title":"Riv. Mat. Univ. Parma"},{"key":"9799_CR48","unstructured":"Schultz, P.: Regular and Exact (virtual) Double Categories. Preprint at arxiv:1505.00712 (2015)"},{"key":"9799_CR49","unstructured":"Shulman, M.A.: Constructing symmetric monoidal bicategories. Preprint at arxiv:1004.0993 (2010)"},{"key":"9799_CR50","first-page":"18","volume":"20","author":"M Shulman","year":"2008","unstructured":"Shulman, M.: Framed bicategories and monoidal fibrations. Theory Appl. Categ. 20, 18\u2013650738 (2008)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR51","first-page":"18","volume":"41","author":"M \u0160t\u011bp\u00e1n","year":"2024","unstructured":"\u0160t\u011bp\u00e1n, M.: Factorization systems and double categories. Theory Appl. Categ. 41, 18\u2013551592 (2024)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR52","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. Amer. Math. Soc. 79, 936\u2013941 (1973). https:\/\/doi.org\/10.1090\/S0002-9904-1973-13268-9","journal-title":"Bull. Amer. Math. Soc."},{"issue":"1","key":"9799_CR53","first-page":"143","volume":"4","author":"R Succi Cruciani","year":"1975","unstructured":"Succi Cruciani, R.: La teoria delle relazioni nello studio di categorie regolari e di categorie esatte. Riv. Mat. Univ. Parma 4(1), 143\u2013158 (1975)","journal-title":"Riv. Mat. Univ. Parma"},{"key":"9799_CR54","first-page":"8","volume":"36","author":"W Tholen","year":"2021","unstructured":"Tholen, W., Yeganeh, L.: The comprehensive factorization of Burroni\u2019s $$\\mathbb{T} $$-functors. Theory Appl. Categ. 36, 8\u2013206249 (2021)","journal-title":"Theory Appl. Categ."},{"key":"9799_CR55","unstructured":"Vasilakopoulou, C.: Generalization of Algebraic Operations via Enrichment. Preprint at arxiv:1411.3038 (2014)"},{"key":"9799_CR56","first-page":"1","volume":"20","author":"D Verity","year":"2011","unstructured":"Verity, D.: Enriched categories, internal categories and change of base. Repr. Theory Appl. Categ. 20, 1\u2013266 (2011)","journal-title":"Repr. Theory Appl. Categ."},{"key":"9799_CR57","first-page":"3","volume":"20","author":"RFC Walters","year":"2008","unstructured":"Walters, R.F.C., Wood, R.J.: Frobenius objects in Cartesian bicategories. Theory Appl. Categ. 20, 3\u20132547 (2008)","journal-title":"Theory Appl. Categ."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09799-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-025-09799-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09799-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T11:43:11Z","timestamp":1745494991000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-025-09799-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,6]]},"references-count":57,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["9799"],"URL":"https:\/\/doi.org\/10.1007\/s10485-025-09799-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2025,3,6]]},"assertion":[{"value":"12 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"11"}}