{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T10:54:33Z","timestamp":1758279273563,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T00:00:00Z","timestamp":1642550400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T00:00:00Z","timestamp":1642550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura Cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["GX20-31529X"],"award-info":[{"award-number":["GX20-31529X"]}],"id":[{"id":"10.13039\/501100001824","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":[[2022,6]]},"DOI":"10.1007\/s10485-021-09666-6","type":"journal-article","created":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T09:03:01Z","timestamp":1642582981000},"page":"569-591","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["General Facts on the Scott Adjunction"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1787-4858","authenticated-orcid":false,"given":"Ivan","family":"Di Liberti","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,19]]},"reference":[{"key":"9666_CR1","volume-title":"Domain Theory","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain Theory. Claendon Press, Oxford (1994)"},{"key":"9666_CR2","first-page":"429","volume-title":"Locales and Toposes as Spaces","author":"S Vickers","year":"2007","unstructured":"Vickers, S.: Locales and Toposes as Spaces, pp. 429\u2013496. Springer, Dordrecht (2007)"},{"issue":"3","key":"9666_CR3","doi-asserted-by":"publisher","first-page":"106838","DOI":"10.1016\/j.jpaa.2021.106838","volume":"226","author":"I Di Liberti","year":"2022","unstructured":"Di Liberti, I.: Towards higher topology. J. Pure Appl. Algebra 226(3), 106838 (2022)","journal-title":"J. Pure Appl. Algebra"},{"key":"9666_CR4","unstructured":"Di Liberti, I.: Formal Model Theory and Higher Topology. arXiv:2010.00319 (2020)"},{"issue":"3","key":"9666_CR5","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1017\/jsl.2019.25","volume":"84","author":"S Henry","year":"2019","unstructured":"Henry, S.: An abstract elementary class non axiomatizable in $${L_{\\infty ,\\kappa }}$$. J. Symb. Log. 84(3), 1240\u20131251 (2019)","journal-title":"J. Symb. Log."},{"key":"9666_CR6","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525865","volume-title":"Handbook of Categorical Algebra","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics and its Applications, vol. 3. Cambridge University Press, Cambridge (1994)"},{"key":"9666_CR7","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525865","volume-title":"Handbook of Categorical Algebra","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics and its Applications, vol. 1. Cambridge University Press, Cambridge (1994)"},{"key":"9666_CR8","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, vol. 189. Cambridge University Press, Cambridge (1994)"},{"key":"9666_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic","author":"S MacLane","year":"1994","unstructured":"MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, New York (1994)"},{"key":"9666_CR10","volume-title":"Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium: 2 Volume Set. Oxford University Press, Oxford (2002)"},{"key":"9666_CR11","unstructured":"Anel, M., Lejay, D.: Exponentiable higher toposes (2018)"},{"key":"9666_CR12","first-page":"106","volume":"9","author":"P Karazeris","year":"2001","unstructured":"Karazeris, P.: Categorical domain theory: Scott topology, powercategories, coherent categories. Theory Appl. Categ. 9, 106\u2013120 (2001). (electronic only)","journal-title":"Theory Appl. Categ."},{"key":"9666_CR13","unstructured":"Porst, H.E., Tholen, W.: Concrete dualities. Category theory at work, Herrlich and Porst eds, pp. 11\u2013136. Heldermann-Verlag (1991)"},{"issue":"2","key":"9666_CR14","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1090\/S0002-9947-1987-0869216-2","volume":"299","author":"M Makkai","year":"1987","unstructured":"Makkai, M., Pitts, A.M.: Some results on locally finitely presentable categories. Trans. Am. Math. Soc. 299(2), 473\u2013496 (1987)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"9666_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0168-0072(88)90019-X","volume":"40","author":"M Makkai","year":"1988","unstructured":"Makkai, M.: Strong conceptual completeness for first-order logic. Ann. Pure Appl. Log. 40(2), 167\u2013215 (1988)","journal-title":"Ann. Pure Appl. Log."},{"key":"9666_CR16","unstructured":"Caramello, O.: The unification of mathematics via topos theory. arXiv preprint arXiv:1006.3930 (2010)"},{"key":"9666_CR17","volume-title":"Sketches of an Elephant: A Topos Theory Compendium 1: Volume Set","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium 1: Volume Set. Oxford University Press, Oxford (2002)"},{"issue":"3","key":"9666_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0022-4049(82)90083-4","volume":"25","author":"P Johnstone","year":"1982","unstructured":"Johnstone, P., Joyal, A.: Continuous categories and exponentiable toposes. J. Pure Appl. Algebra 25(3), 255\u2013296 (1982)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9666_CR19","doi-asserted-by":"publisher","first-page":"923","DOI":"10.2178\/jsl\/1096901776","volume":"69","author":"T Beke","year":"2004","unstructured":"Beke, T.: Theories of presheaf type. J. Symb. Log. 69(3), 923\u2013934 (2004)","journal-title":"J. Symb. Log."},{"issue":"2","key":"9666_CR20","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.apal.2018.09.002","volume":"170","author":"C Esp\u00edndola","year":"2019","unstructured":"Esp\u00edndola, C.: Infinitary first-order categorical logic. Ann. Pure Appl. Log. 170(2), 137\u2013162 (2019)","journal-title":"Ann. Pure Appl. Log."},{"key":"9666_CR21","volume-title":"On the Complete Lattice of Essential Localizations","author":"GM Kelly","year":"1989","unstructured":"Kelly, G.M., Lawvere, F.W.: On the Complete Lattice of Essential Localizations. Department of Pure Mathematics, University of Sydney, Sydney (1989)"},{"key":"9666_CR22","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/104","volume-title":"Accessible Categories: The Foundations of Categorical Model Theory","author":"M Makkai","year":"1989","unstructured":"Makkai, M., Par\u00e9, R.: Accessible Categories: The Foundations of Categorical Model Theory. American Mathematical Society, Providence (1989)"},{"issue":"1","key":"9666_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1017\/S0305004113000030","volume":"155","author":"R Par\u00e9","year":"2013","unstructured":"Par\u00e9, R., Rosick\u00fd, J.: Colimits of accessible categories. Math. Proc. Camb. Philos. Soc. 155(1), 47\u201350 (2013)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"48","key":"9666_CR24","first-page":"1647","volume":"30","author":"M Lieberman","year":"2015","unstructured":"Lieberman, M., Rosick\u00fd, J.: Limits of abstract elementary classes. Theory Appl. Categ. 30(48), 1647\u20131658 (2015)","journal-title":"Theory Appl. Categ."},{"key":"9666_CR25","volume-title":"Basic Concepts of Enriched Category Theory","author":"GM Kelly","year":"1982","unstructured":"Kelly, G.M.: Basic Concepts of Enriched Category Theory, vol. 64. Cambridge University Press, Cambridge (1982)"},{"key":"9666_CR26","unstructured":"Di\u00a0Liberti, I.: The symmetric monoidal closed structure on the category of $$\\cal{F}$$-cocomplete categories and $$\\cal{F}$$-cocontinuous functors. MathOverflow. https:\/\/mathoverflow.net\/users\/104432\/ivan-di liberti. https:\/\/mathoverflow.net\/q\/350869 (version: 2020-01-21)"},{"issue":"1","key":"9666_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s40062-015-0121-z","volume":"12","author":"J Bourke","year":"2017","unstructured":"Bourke, J.: Skew structures in 2-category theory and homotopy theory. J. Homotopy Relat. Struct. 12(1), 31\u201381 (2017)","journal-title":"J. Homotopy Relat. Struct."},{"key":"9666_CR28","doi-asserted-by":"crossref","unstructured":"Hyland, M., Power, J.: Pseudo-commutative monads and pseudo-closed 2-categories. J. Pure Appl. Algebra 175(1), 141\u2013185 (2002). Special Volume celebrating the 70th birthday of Professor Max Kelly","DOI":"10.1016\/S0022-4049(02)00133-0"},{"issue":"5","key":"9666_CR29","doi-asserted-by":"publisher","first-page":"2557","DOI":"10.1016\/j.aim.2011.06.039","volume":"228","author":"IL Franco","year":"2011","unstructured":"Franco, I.L.: Pseudo-commutativity of KZ 2-monads. Adv. Math. 228(5), 2557\u20132605 (2011)","journal-title":"Adv. Math."},{"key":"9666_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2019.106972","volume":"273","author":"J Ad\u00e1mek","year":"2020","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: How nice are free completions of categories? Top. Appl. 273, 106972 (2020)","journal-title":"Top. Appl."},{"key":"9666_CR31","unstructured":"Brandenburg, M.: Tensor categorical foundations of algebraic geometry. arXiv preprint arXiv:1410.1716 (2014)"},{"key":"9666_CR32","doi-asserted-by":"publisher","DOI":"10.1515\/9781400830558","volume-title":"Higher Topos Theory (AM-170)","author":"J Lurie","year":"2009","unstructured":"Lurie, J.: Higher Topos Theory (AM-170). Princeton University Press, Princeton (2009)"},{"key":"9666_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.aim.2015.11.012","volume":"289","author":"R Garner","year":"2016","unstructured":"Garner, R., Shulman, M.: Enriched categories as a free cocompletion. Adv. Math. 289, 1\u201394 (2016)","journal-title":"Adv. Math."},{"issue":"1","key":"9666_CR34","first-page":"43","volume":"26","author":"A Pitts","year":"1985","unstructured":"Pitts, A.: On product and change of base for toposes. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle cat\u00e9goriques 26(1), 43\u201361 (1985)","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle cat\u00e9goriques"},{"key":"9666_CR35","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":"9666_CR36","unstructured":"Lieberman, M., Rosick\u1ef3, J., Vasey, S.: Hilbert spaces and C-algebras are not finitely concrete. arXiv preprint arXiv:1908.10200 (2019)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09666-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-021-09666-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09666-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,12]],"date-time":"2022-05-12T08:56:41Z","timestamp":1652345801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-021-09666-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,19]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9666"],"URL":"https:\/\/doi.org\/10.1007\/s10485-021-09666-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2022,1,19]]},"assertion":[{"value":"5 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}