{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T09:10:18Z","timestamp":1780564218565,"version":"3.54.1"},"reference-count":44,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T00:00:00Z","timestamp":1777420800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.apal.2026.103781","type":"journal-article","created":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T17:04:21Z","timestamp":1777482261000},"page":"103781","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["A topos for extended Weihrauch degrees"],"prefix":"10.1016","volume":"177","author":[{"given":"Samuele","family":"Maschio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4509-594X","authenticated-orcid":false,"given":"Davide","family":"Trotta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.apal.2026.103781_br0010","first-page":"20:1","article-title":"Instance reducibility and Weihrauch degrees","volume":"18","author":"Bauer","year":"2022","journal-title":"Log. Methods Comput. Sci."},{"issue":"1\u20132","key":"10.1016\/j.apal.2026.103781_br0020","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0168-0072(01)00122-1","article-title":"Relative and modified relative realizability","volume":"118","author":"Birkedal","year":"2002","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2026.103781_br0030","series-title":"Handbook of Computability and Complexity in Analysis","first-page":"367","article-title":"Weihrauch complexity in computable analysis","author":"Brattka","year":"2021"},{"issue":"1\u20133","key":"10.1016\/j.apal.2026.103781_br0040","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0022-4049(96)00115-6","article-title":"Regular and exact completions","volume":"125","author":"Carboni","year":"1998","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.apal.2026.103781_br0050","series-title":"Categories in Computer Science and Logic","first-page":"47","article-title":"The Dialectica categories","volume":"vol. 92","author":"de Paiva","year":"1989"},{"key":"10.1016\/j.apal.2026.103781_br0060","series-title":"Algebra and Logic","first-page":"87","article-title":"A language and axioms for explicit mathematics","volume":"vol. 450","author":"Feferman","year":"1975"},{"key":"10.1016\/j.apal.2026.103781_br0070","series-title":"A 2-Categorical Analysis of the Tripos-to-Topos Construction","author":"Frey","year":"2011"},{"key":"10.1016\/j.apal.2026.103781_br0080","series-title":"A fibrational study of realizability toposes (PhD Thesis)","author":"Frey","year":"2014"},{"issue":"2","key":"10.1016\/j.apal.2026.103781_br0090","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/j.apal.2014.10.005","article-title":"Triposes, q-toposes and toposes","volume":"166","author":"Frey","year":"2015","journal-title":"Ann. Pure Appl. Log."},{"issue":"8","key":"10.1016\/j.apal.2026.103781_br0100","doi-asserted-by":"crossref","DOI":"10.1016\/j.jpaa.2022.107115","article-title":"Categories of partial equivalence relations as localizations","volume":"227","author":"Frey","year":"2023","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"10.1016\/j.apal.2026.103781_br0110","doi-asserted-by":"crossref","first-page":"550","DOI":"10.4153\/CJM-1984-034-4","article-title":"Injectivity in the topos of complete Heyting algebra valued sets","volume":"36","author":"Higgs","year":"1984","journal-title":"Can. J. Math."},{"issue":"2","key":"10.1016\/j.apal.2026.103781_br0120","article-title":"The degree structure of Weihrauch-reducibility","volume":"9","author":"Higuchi","year":"2013","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.apal.2026.103781_br0150","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1017\/S0305004106009352","article-title":"All realizability is relative","volume":"141","author":"Hofstra","year":"2006","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"10.1016\/j.apal.2026.103781_br0160","series-title":"Models, Logics, and Higher-Dimensional Categories","first-page":"107","article-title":"The dialectica monad and its cousins","volume":"vol. 53","author":"Hofstra","year":"2011"},{"key":"10.1016\/j.apal.2026.103781_br0170","first-page":"165","article-title":"The Effective Topos","volume":"vol. 110","author":"Hyland","year":"1982"},{"issue":"2","key":"10.1016\/j.apal.2026.103781_br0180","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0168-0072(88)90018-8","article-title":"A small complete category","volume":"40","author":"Hyland","year":"1988","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"10.1016\/j.apal.2026.103781_br0190","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1017\/S0305004100057534","article-title":"Tripos theory","volume":"88","author":"Hyland","year":"1980","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"10.1016\/j.apal.2026.103781_br0200","author":"Kihara"},{"issue":"3","key":"10.1016\/j.apal.2026.103781_br0210","doi-asserted-by":"crossref","first-page":"1006","DOI":"10.1017\/jsl.2020.12","article-title":"Searching for an analogue of atr0 in the Weihrauch lattice","volume":"85","author":"Kihara","year":"2020","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103781_br0220","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","article-title":"On the interpretation of intuitionistic number theory","volume":"10","author":"Kleene","year":"1945","journal-title":"J. Symb. Log."},{"issue":"6","key":"10.1016\/j.apal.2026.103781_br0230","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1007\/s11225-015-9615-2","article-title":"First-order logic in the Medvedev lattice","volume":"103","author":"Kuyper","year":"2015","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103781_br0240","series-title":"Category Theory, Homology Theory and Their Applications, II","first-page":"134","article-title":"Diagonal arguments and Cartesian closed categories","volume":"vol. 92","author":"Lawvere","year":"1969"},{"key":"10.1016\/j.apal.2026.103781_br0250","series-title":"Applications of Categorical Algebra","first-page":"1","article-title":"Equality in hyperdoctrines and comprehension schema as an adjoint functor","volume":"vol. XVII","author":"Lawvere","year":"1970"},{"key":"10.1016\/j.apal.2026.103781_br0260","first-page":"1","article-title":"Adjointness in foundations","volume":"16","author":"Lawvere","year":"2006","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.apal.2026.103781_br0270","series-title":"Sheaves in Geometry and Logic. A First Introduction to Topos Theory","author":"MacLane","year":"1992"},{"issue":"3","key":"10.1016\/j.apal.2026.103781_br0280","first-page":"141","article-title":"Triposes, exact completions, and Hilbert's \u03b5-operator","volume":"10","author":"Maietti","year":"2017","journal-title":"Tbil. Math. J."},{"issue":"2","key":"10.1016\/j.apal.2026.103781_br0290","article-title":"Elementary quotient completions, Church's thesis, and partitioned assemblies","volume":"15","author":"Maietti","year":"2019","journal-title":"Log. Methods Comput. Sci."},{"issue":"3","key":"10.1016\/j.apal.2026.103781_br0300","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s11787-013-0080-2","article-title":"Quotient completion for the foundation of constructive mathematics","volume":"7","author":"Maietti","year":"2013","journal-title":"Log. Univers."},{"issue":"1","key":"10.1016\/j.apal.2026.103781_br0310","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10485-013-9360-5","article-title":"Unifying exact completions","volume":"23","author":"Maietti","year":"2015","journal-title":"Appl. Categ. Struct."},{"issue":"4","key":"10.1016\/j.apal.2026.103781_br0320","doi-asserted-by":"crossref","DOI":"10.1016\/j.apal.2022.103234","article-title":"A characterization of generalized existential completions","volume":"174","author":"Maietti","year":"2023","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"10.1016\/j.apal.2026.103781_br0330","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0168-0072(01)00111-7","article-title":"More exact completions that are toposes","volume":"116","author":"Menni","year":"2002","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"10.1016\/j.apal.2026.103781_br0340","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1017\/S096012950200364X","article-title":"Tripos theory in retrospect","volume":"12","author":"Pitts","year":"2002","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.apal.2026.103781_br0350","author":"Pradic"},{"issue":"2","key":"10.1016\/j.apal.2026.103781_br0360","doi-asserted-by":"crossref","first-page":"678","DOI":"10.2307\/2274658","article-title":"Colimit completions and the effective topos","volume":"55","author":"Robinson","year":"1990","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103781_br0370","series-title":"Extended Abstract Presented at CCA2022 (Computability and Complexity in Analysis 2022)","article-title":"Weihrauch reducibility on assemblies","author":"Schr\u00f6der","year":"2022"},{"key":"10.1016\/j.apal.2026.103781_br0380","article-title":"Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets","author":"Soare","year":"1987"},{"key":"10.1016\/j.apal.2026.103781_br0390","series-title":"Computability, Enumerability, Unsolvability","first-page":"289","article-title":"The Medvedev lattice of degrees of difficulty","volume":"vol. 224","author":"Sorbi","year":"1996"},{"key":"10.1016\/j.apal.2026.103781_br0400","article-title":"The existential completion","volume":"35","author":"Trotta","year":"2020","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.apal.2026.103781_br0410","series-title":"Logical Foundations of Computer Science","first-page":"346","article-title":"Dialectica logical principles","volume":"vol. 13137","author":"Trotta","year":"2022"},{"key":"10.1016\/j.apal.2026.103781_br0420","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2023.113692","article-title":"Dialectica principles via G\u00f6del doctrines","volume":"947","author":"Trotta","year":"2023","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/j.apal.2026.103781_br0430","article-title":"Categorifying computable reducibilities","volume":"21","author":"Trotta","year":"2025","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.apal.2026.103781_br0440","article-title":"Realizability: An Introduction to Its Categorical Side","volume":"vol. 152","author":"van Oosten","year":"2008"},{"issue":"4","key":"10.1016\/j.apal.2026.103781_br0450","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1215\/00294527-1499381","article-title":"Partial combinatory algebras of functions","volume":"52","author":"van Oosten","year":"2011","journal-title":"Notre Dame J. Form. Log."},{"key":"10.1016\/j.apal.2026.103781_br0460","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","article-title":"Computable Analysis: An Introduction","author":"Weihrauch","year":"2000"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000643?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000643?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:52:35Z","timestamp":1780563155000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":44,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["S0168007226000643"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103781","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A topos for extended Weihrauch degrees","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2026.103781","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103781"}}