{"id":"https://openalex.org/W2107996244","doi":"https://doi.org/10.2307/2274658","title":"Colimit completions and the effective topos","display_name":"Colimit completions and the effective topos","publication_year":1990,"publication_date":"1990-06-01","ids":{"openalex":"https://openalex.org/W2107996244","doi":"https://doi.org/10.2307/2274658","mag":"2107996244"},"language":"en","primary_location":{"id":"doi:10.2307/2274658","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274658","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022301192","display_name":"E. Powell Robinson","orcid":"https://orcid.org/0000-0002-3075-2217"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Edmund Robinson","raw_affiliation_strings":["Department of Computing and Information Science, Queen's University, Kingston, Ontario K7L 3N6, Canada","Department of Computing and Information Science,  Queen's University, Kingston, Ontario K7L 3N6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing and Information Science, Queen's University, Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"Department of Computing and Information Science,  Queen's University, Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018870535","display_name":"Giuseppe Rosolini","orcid":"https://orcid.org/0000-0003-1672-9368"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Rosolini","raw_affiliation_strings":["Dipartimento Di Matematica, Universit\u00e0 Di Parma, 43100 Parma, Italy","Dipartimento di Matematica, Universit\u00e0 di Parma, 43100 Parma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento Di Matematica, Universit\u00e0 Di Parma, 43100 Parma, Italy","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Dipartimento di Matematica, Universit\u00e0 di Parma, 43100 Parma, Italy","institution_ids":["https://openalex.org/I124601658"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022301192"],"corresponding_institution_ids":["https://openalex.org/I204722609"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.28032407,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"55","issue":"2","first_page":"678","last_page":"699"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.9674000144004822,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.9800350666046143},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7015761137008667},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5390249490737915},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.5262640714645386},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.49021846055984497},{"id":"https://openalex.org/keywords/subcategory","display_name":"Subcategory","score":0.48951256275177},{"id":"https://openalex.org/keywords/element","display_name":"Element (criminal law)","score":0.4726499617099762},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4623473882675171},{"id":"https://openalex.org/keywords/category-of-sets","display_name":"Category of sets","score":0.45449012517929077},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.43608349561691284},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33450940251350403},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.17329338192939758},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14180320501327515},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09279665350914001},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09136244654655457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06423842906951904}],"concepts":[{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.9800350666046143},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7015761137008667},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5390249490737915},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5262640714645386},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.49021846055984497},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.48951256275177},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.4726499617099762},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4623473882675171},{"id":"https://openalex.org/C72727785","wikidata":"https://www.wikidata.org/wiki/Q2518298","display_name":"Category of sets","level":3,"score":0.45449012517929077},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.43608349561691284},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33450940251350403},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.17329338192939758},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14180320501327515},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09279665350914001},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09136244654655457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06423842906951904},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274658","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274658","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:iris.unige.it:11567/294134","is_oa":false,"landing_page_url":"http://hdl.handle.net/11567/294134","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W629880895","https://openalex.org/W981129589","https://openalex.org/W1510078069","https://openalex.org/W1608607427","https://openalex.org/W2043566933","https://openalex.org/W2079028772","https://openalex.org/W2086061699","https://openalex.org/W2112548883","https://openalex.org/W2120713972","https://openalex.org/W2168025539","https://openalex.org/W2291208220","https://openalex.org/W2914837968","https://openalex.org/W4213097853","https://openalex.org/W4243933121"],"related_works":["https://openalex.org/W1949059319","https://openalex.org/W955009269","https://openalex.org/W4388322088","https://openalex.org/W2359098868","https://openalex.org/W2027317258","https://openalex.org/W2083682852","https://openalex.org/W2031881225","https://openalex.org/W160221852","https://openalex.org/W4388254072","https://openalex.org/W51956475"],"abstract_inverted_index":{"The":[0,33,152,191],"family":[1],"of":[2,5,55,114,124,149,169,193,199,207,223,225,243,245],"readability":[3],"toposes,":[4],"which":[6,44],"the":[7,11,20,56,62,67,78,82,90,103,122,140,150,162,213,228,241,248,256],"effective":[8,34,48,64,75,104],"topos":[9,35,83,105,163],"is":[10,175,240,253],"best":[12],"known,":[13],"was":[14,37,159],"discovered":[15],"by":[16,92,164,251,259],"Martin":[17],"Hyland":[18,95,157],"in":[19,43,81,156,212],"late":[21],"1970's.":[22],"Since":[23],"then":[24],"these":[25],"toposes":[26],"have":[27,143],"been":[28,108,145],"used":[29,109],"for":[30],"several":[31,146],"purposes.":[32],"itself":[36],"originally":[38],"intended":[39],"as":[40,52,155,200,203],"a":[41,167,176,181,216],"category":[42],"various":[45],"recursion-theoretic":[46],"or":[47,202],"constructions":[49,125,148],"would":[50],"live":[51],"natural":[53,112],"parts":[54],"higher-order":[57],"type":[58,116],"structure.":[59],"For":[60],"example":[61],"hereditary":[63],"operators":[65],"become":[66,77],"higher":[68],"types":[69],"over":[70],"N":[71],"(Hyland":[72,126],"[1982]),":[73],"and":[74,94,120,130],"domains":[76,80],"countably-based":[79],"(McCarty":[84],"[1984],":[85],"Rosolini":[86,131],"[1986]).":[87],"However,":[88],"following":[89],"discovery":[91],"Moggi":[93],"that":[96,247],"it":[97],"contained":[98],"nontrivial":[99],"small":[100],"complete":[101],"categories,":[102],"has":[106],"also":[107,144],"to":[110,119,160,196,255],"provide":[111],"models":[113],"polymorphic":[115],"theories,":[117],"up":[118],"including":[121],"theory":[123],"[1987],":[127,132,134],"Hyland,":[128],"Robinson":[129],"Scedrov":[133],"Bainbridge":[135],"et":[136],"al.":[137],"[1987]).":[138],"Over":[139],"years":[141],"there":[142],"different":[147],"topos.":[151,214],"original":[153],"approach,":[154],"[1982],":[158],"construct":[161],"first":[165],"giving":[166],"notion":[168],"P\u03c9-valued":[170,173],"set.":[171],"A":[172],"set":[174,177,211,229,242],"X":[178,186,188,194,226],"together":[179],"with":[180],"function":[182],"=":[183,230],"x":[184,219,221,231,233,235,252,260],":":[185],"\u00d7":[187],"\u2192":[189],"P\u03c9.":[190],"elements":[192,206,224],"are":[195],"be":[197],"thought":[198],"codes,":[201],"expressions":[204],"denoting":[205],"some":[208],"\u201creal":[209],"underlying\u201d":[210],"Given":[215],"pair":[217],"(":[218,232],",":[220,227,234],"\u2032)":[222,236],"(generally":[237],"written":[238],")":[239],"codes":[244],"proofs":[246],"element":[249,257],"denoted":[250,258],"equal":[254],"\u2032.":[261]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}