{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T07:44:09Z","timestamp":1764143049510,"version":"3.46.0"},"reference-count":35,"publisher":"Cambridge University Press (CUP)","license":[{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"unspecified","delay-in-days":329,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>A candidate for the effective 2-topos is proposed and shown to include the effective 1-topos as its subcategory of 0-types.<\/jats:p>","DOI":"10.1017\/s0960129525100352","type":"journal-article","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T07:38:10Z","timestamp":1764142690000},"update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["Toward the effective 2-topos"],"prefix":"10.1017","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9005-179X","authenticated-orcid":false,"given":"Steve","family":"Awodey","sequence":"first","affiliation":[{"id":[{"id":"https:\/\/ror.org\/05x2bcf33","id-type":"ROR","asserted-by":"publisher"}],"name":"Carnegie Mellon University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1383-2415","authenticated-orcid":false,"given":"Jacopo","family":"Emmenegger","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Genova"}]}],"member":"56","published-online":{"date-parts":[[2025,11,26]]},"reference":[{"key":"S0960129525100352_ref14","doi-asserted-by":"publisher","DOI":"10.1112\/jlms.12532"},{"key":"S0960129525100352_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-008-0006-5"},{"key":"S0960129525100352_ref9","first-page":"92","volume-title":"13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)","author":"Bezem","year":"2015"},{"key":"S0960129525100352_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2025.107925"},{"key":"S0960129525100352_ref6","unstructured":"Awodey, S. , Cavallo, E. , Coquand, T. , Riehl, E. and Sattler, C. (2024). The equivariant model structure on cubical sets. Preprint available as arXiv: 2406.18497."},{"key":"S0960129525100352_ref27","doi-asserted-by":"publisher","DOI":"10.70930\/tac\/jk7z3ysw"},{"key":"S0960129525100352_ref5","volume-title":"Cartesian cubical model categories","author":"Awodey","year":"2025"},{"key":"S0960129525100352_ref24","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"S0960129525100352_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.01.035"},{"key":"S0960129525100352_ref12","doi-asserted-by":"publisher","DOI":"10.70930\/tac\/533ctlbk"},{"key":"S0960129525100352_ref21","first-page":"165","volume-title":"The L. E. J. Brouwer Centenary Symposium,","author":"Hyland","year":"1982"},{"key":"S0960129525100352_ref11","unstructured":"Cohen, C. , Coquand, T. , Huber, S. and M\u00f6rtberg, A. (2018). Cubical type theory: A constructive interpretation of the univalence axiom. In: Uustalu, T. (ed.) 21st International Conference on Types for Proofs and Programs (TYPES 2015), volume 69 of Leibniz International Proceedings in Informatics, 5:1\u20135:34."},{"key":"S0960129525100352_ref7","first-page":"76","volume-title":"Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)","author":"Awodey","year":"2018"},{"key":"S0960129525100352_ref31","unstructured":"Shulman, M. (2019). All $(\\infty ,1)$ -toposes have strict univalent universes, Preprint available as arXiv: 1904.07004."},{"key":"S0960129525100352_ref32","first-page":"29","article-title":"The derivator of setoids","volume":"LXIV","author":"Shulman","year":"2023","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"S0960129525100352_ref3","unstructured":"Anel, M. , Awodey, S. and Barton, R. (2025). Towards the effective $\\infty$ -topos (in preparation)."},{"key":"S0960129525100352_ref1","unstructured":"Agwu, A. (2025). A model of type theory in groupoid assemblies. PhD thesis, Johns Hopkins University."},{"key":"S0960129525100352_ref26","doi-asserted-by":"publisher","DOI":"10.4171\/jems\/1050"},{"key":"S0960129525100352_ref16","doi-asserted-by":"crossref","unstructured":"Henry, S. (2020). Weak model categories in classical and constructive mathematics. Preprint available as arXiv: 1807.02650.","DOI":"10.70930\/tac\/0tkrfy1d"},{"key":"S0960129525100352_ref19","doi-asserted-by":"publisher","DOI":"10.70930\/tac\/bmsgteie"},{"key":"S0960129525100352_ref35","unstructured":"Uemura, T. (2019). Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing. In: Dybjer, P. , Espirito Santo, J. and Pinto, L. (eds.) 24th International Conference on Types for Proofs and Programs (TYPES 2018), volume 130 of Leibniz International Proceedings in Informatics (LIPIcs), 7:1\u20137:20."},{"key":"S0960129525100352_ref33","unstructured":"Stekelenburg, W. (2016). Constructive simplicial homotopy, Preprint available as arXiv: 1604.04746."},{"key":"S0960129525100352_ref34","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129522000068"},{"key":"S0960129525100352_ref13","volume-title":"Abelian Categories","author":"Freyd","year":"1964"},{"key":"S0960129525100352_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/haab057"},{"key":"S0960129525100352_ref20","unstructured":"Hughes, C. (2025). The algebraic internal groupoid model of Martin-L\u00f6f type theory, Preprint available as arXiv: 2503.17319."},{"key":"S0960129525100352_ref17","unstructured":"Hollander, S. (2001). A homotopy theory for stacks. PhD thesis, Massachusetts Institute of Technology."},{"key":"S0960129525100352_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(94)00103-P"},{"key":"S0960129525100352_ref30","unstructured":"Shulman, M. (2018). Towards elementary $\\infty$ -toposes. In: Vladimir Voevodsky Memorial Conference, IAS."},{"key":"S0960129525100352_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129521000347"},{"key":"S0960129525100352_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90018-8"},{"key":"S0960129525100352_ref29","doi-asserted-by":"publisher","DOI":"10.2307\/2274658"},{"key":"S0960129525100352_ref23","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-60.1.1"},{"key":"S0960129525100352_ref28","unstructured":"Rasekh, N. (2022). A theory of elementary higher toposes, Preprint available as arXiv: 1805.03805."},{"key":"S0960129525100352_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084222"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129525100352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T07:38:19Z","timestamp":1764142699000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129525100352\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":35,"alternative-id":["S0960129525100352"],"URL":"https:\/\/doi.org\/10.1017\/s0960129525100352","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}],"article-number":"e32"}}