{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:02Z","timestamp":1740122462068,"version":"3.37.3"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T00:00:00Z","timestamp":1650326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T00:00:00Z","timestamp":1650326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003343","name":"Cambridge Commonwealth, European and International Trust","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003343","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["1602663"],"award-info":[{"award-number":["1602663"]}],"id":[{"id":"10.13039\/501100000266","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,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. Then, we contextualize the new notion by comparing it to another known generalization of enrichment: that of enrichment for indexed categories. It turns out that the two notions are closely related.<\/jats:p>","DOI":"10.1007\/s10485-022-09678-w","type":"journal-article","created":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T09:02:53Z","timestamp":1650358973000},"page":"947-968","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Internal Enriched Categories"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5983-6230","authenticated-orcid":false,"given":"Enrico","family":"Ghiorzi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,19]]},"reference":[{"key":"9678_CR1","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, vol. 2. Cambridge University Press, Cambridge (1994)"},{"issue":"1","key":"9678_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"P Freyd","year":"1972","unstructured":"Freyd, P.: Aspects of topoi. Bull. Aust. Math. Soc. 7(1), 1\u201376 (1972)","journal-title":"Bull. Aust. Math. Soc."},{"key":"9678_CR3","unstructured":"Ghiorzi, Enrico: Internal enriched categories. PhD thesis, University of Cambridge (2019)"},{"key":"9678_CR4","unstructured":"Ghiorzi, E.: Complete internal categories (2020)"},{"key":"9678_CR5","unstructured":"Girard, J.-Y.: Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l\u2019arithm\u00e9tique d\u2019ordre sup\u00e9rieur. PhD thesis, PhD thesis, Universit\u00e9 Paris VII (1972)"},{"issue":"4","key":"9678_CR6","first-page":"535","volume":"30","author":"R Hasegawa","year":"1994","unstructured":"Hasegawa, R.: Relational limits in general polymorphism. Publicat. Res. Inst. Math. Sci. 30(4), 535\u2013576 (1994)","journal-title":"Publicat. Res. Inst. Math. Sci."},{"key":"9678_CR7","doi-asserted-by":"crossref","unstructured":"Hyland, J.M.E.: The effective topos. In Toelstra, A.S., van Dalen, D., editors. The L. E. J. Brouwer Centenary Symposium. Vol. 110, pp. 165\u2013216, Amsterdam. North-Holland (1982)","DOI":"10.1016\/S0049-237X(09)70129-6"},{"issue":"2","key":"9678_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0168-0072(88)90018-8","volume":"40","author":"JME Hyland","year":"1988","unstructured":"Hyland, J.M.E.: A small complete category. Ann. Pure Appl. Logic 40(2), 135\u2013165 (1988)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"9678_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1112\/plms\/s3-60.1.1","volume":"3","author":"JME Hyland","year":"1990","unstructured":"Hyland, J.M.E., Robinson, E.P., Rosolini, G.: The discrete objects in the effective topos. Proc. Lond. Math. Soc. 3(1), 1\u201336 (1990)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9678_CR10","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an elephant: A topos theory compendium: Volumes 1 and 2. Number\u00a043 in Oxford Logic Guides. Oxford Science Publications (2002)","DOI":"10.1093\/oso\/9780198515982.003.0004"},{"key":"9678_CR11","unstructured":"Lane, S.M.: Categories for the working mathematician. Number\u00a07 in Graduate Texts in Mathematics, 2nd edn. Springer (1989)"},{"issue":"3","key":"9678_CR12","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.apal.2006.10.001","volume":"145","author":"E Palmgren","year":"2007","unstructured":"Palmgren, E., Vickers, S.J.: Partial horn logic and cartesian categories. Ann. Pure Appl. Logic 145(3), 314\u2013353 (2007)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9678_CR13","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/3-540-18508-9_18","volume-title":"Category Theory and Computer Science","author":"AM Pitts","year":"1987","unstructured":"Pitts, A.M.: Polymorphism is set theoretic, constructively. In: Category Theory and Computer Science, pp. 12\u201339. Springer, New York (1987)"},{"key":"9678_CR14","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-13346-1_7","volume-title":"International Symposium on Semantics of Data Types","author":"JC Reynolds","year":"1984","unstructured":"Reynolds, J.C.: Polymorphism is not set-theoretic. In: International Symposium on Semantics of Data Types, pp. 145\u2013156. Springer, New York (1984)"},{"issue":"18","key":"9678_CR15","first-page":"650","volume":"20","author":"M Shulman","year":"2008","unstructured":"Shulman, M.: Framed bicategories and monoidal fibrations. Theory Appl. Categ. 20(18), 650\u2013738 (2008)","journal-title":"Theory Appl. Categ."},{"issue":"21","key":"9678_CR16","first-page":"616","volume":"28","author":"M Shulman","year":"2013","unstructured":"Shulman, M.: Enriched indexed categories. Theory Appl. Categ. 28(21), 616\u2013695 (2013)","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-022-09678-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-022-09678-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-022-09678-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T04:57:22Z","timestamp":1700456242000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-022-09678-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,19]]},"references-count":16,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["9678"],"URL":"https:\/\/doi.org\/10.1007\/s10485-022-09678-w","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2022,4,19]]},"assertion":[{"value":"27 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 April 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 July 2022","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Missing Open Access funding information has been added in the Funding Note.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}