{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T17:10:20Z","timestamp":1699549820555},"reference-count":15,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T00:00:00Z","timestamp":1632787200000},"content-version":"vor","delay-in-days":58,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We give an explicit construction of the dependent product in an elementary topos, and a site\u2010theoretic description for it in the case of a Grothendieck topos. Along the way, we obtain a number of results of independent interest, including an expression for the operation of universal quantification on subobjects in terms of finite limits and power\u00a0objects.<\/jats:p>","DOI":"10.1002\/malq.202000069","type":"journal-article","created":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T21:04:00Z","timestamp":1632863040000},"page":"282-294","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the dependent product in toposes"],"prefix":"10.1002","volume":"67","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-8687-1987","authenticated-orcid":false,"given":"Olivia","family":"Caramello","sequence":"first","affiliation":[{"name":"Dipartimento di Scienza e Alta Tecnologia Universit\u00e0 degli Studi dell'Insubria via Valleggio 11 22100 Como Italy"},{"name":"Institut des Hautes \u00c9tudes Scientifiques 35 Route de Chartres 91440 Bures\u2010sur\u2010Yvette France"}]},{"given":"Riccardo","family":"Zanfa","sequence":"additional","affiliation":[{"name":"Dipartimento di Scienza e Alta Tecnologia Universit\u00e0 degli Studi dell'Insubria via Valleggio 11 22100 Como Italy"}]}],"member":"311","published-online":{"date-parts":[[2021,9,28]]},"reference":[{"key":"e_1_2_5_2_1","volume-title":"Th\u00e9orie des Topos et Cohomologie Etale des Sch\u00e9mas \u2013 (SGA 4), S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9brique du Bois\u2010Marie","author":"Artin M.","year":"1972"},{"key":"e_1_2_5_3_1","doi-asserted-by":"crossref","unstructured":"M.BarrandC.Wells Toposes Triples and Theories corrected reprint of the 1985 original Reprints in Theory and Applications of Categories Vol. 12 (TAC Reprints 2005).","DOI":"10.1007\/978-1-4899-0021-0_1"},{"key":"e_1_2_5_4_1","volume-title":"Toposes and Local Set Theories","author":"Bell J. L.","year":"1988"},{"key":"e_1_2_5_5_1","volume-title":"Handbook of Categorical Algebra","author":"Borceux F.","year":"1994"},{"key":"e_1_2_5_6_1","unstructured":"O.Caramello Denseness conditions morphisms and equivalences of toposes preprint available as arxiv:math.CT\/1906.08737v3 168 pages (2020)."},{"key":"e_1_2_5_7_1","volume-title":"Topos Theory","author":"Johnstone P. T.","year":"1977"},{"key":"e_1_2_5_8_1","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"Johnstone P. T.","year":"2002"},{"key":"e_1_2_5_9_1","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"Johnstone P. T.","year":"2002"},{"key":"e_1_2_5_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700044828"},{"key":"e_1_2_5_11_1","volume-title":"Topoi: The Categorial Analysis of Logic","author":"Goldblatt R.","year":"1979"},{"key":"e_1_2_5_12_1","volume-title":"Sheaves in Geometry and Logic: A First Introduction to Topos Theory","author":"Mac Lane S.","year":"1992"},{"key":"e_1_2_5_13_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198533924.001.0001","volume-title":"Elementary Categories, Elementary Toposes","author":"McLarty C.","year":"1992"},{"key":"e_1_2_5_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00012-9"},{"key":"e_1_2_5_15_1","unstructured":"nLab authors Dependent product Revision 51 nLab (Carnegie Mellon University 2018)"},{"key":"e_1_2_5_16_1","unstructured":"nLab authors Yoneda embedding Revision 35 nLab (Carnegie Mellon University 2019)."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202000069","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/malq.202000069","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202000069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T16:56:54Z","timestamp":1699549014000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.202000069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["10.1002\/malq.202000069"],"URL":"https:\/\/doi.org\/10.1002\/malq.202000069","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8]]},"assertion":[{"value":"2020-09-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-12-07","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}  <script>parent.window.postMessage('ixistenz.url:https://api.crossref.org/works/10.1002%2FMALQ.202000069', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>