{"id":"https://openalex.org/W4404121313","doi":"https://doi.org/10.1017/s096012952400032x","title":"Smooth and proper maps with respect to a fibration","display_name":"Smooth and proper maps with respect to a fibration","publication_year":2024,"publication_date":"2024-10-01","ids":{"openalex":"https://openalex.org/W4404121313","doi":"https://doi.org/10.1017/s096012952400032x"},"language":"en","primary_location":{"id":"doi:10.1017/s096012952400032x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s096012952400032x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0C296DE6F8DFC50B42B0A853D3AE1B25/S096012952400032Xa.pdf/div-class-title-smooth-and-proper-maps-with-respect-to-a-fibration-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0C296DE6F8DFC50B42B0A853D3AE1B25/S096012952400032Xa.pdf/div-class-title-smooth-and-proper-maps-with-respect-to-a-fibration-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030616322","display_name":"Mathieu Anel","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mathieu Anel","raw_affiliation_strings":["Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-6735-3340","affiliations":[{"raw_affiliation_string":"Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064005943","display_name":"Jonathan Weinberger","orcid":"https://orcid.org/0000-0003-4701-3207"},"institutions":[{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan Weinberger","raw_affiliation_strings":["Fowler School of Engineering, Chapman University, Orange, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4701-3207","affiliations":[{"raw_affiliation_string":"Fowler School of Engineering, Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030616322"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31760468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"9","first_page":"971","last_page":"984"},"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.9997000098228455,"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.9997000098228455,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fibration","display_name":"Fibration","score":0.8490224480628967},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4194509983062744},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41185474395751953},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2509169280529022}],"concepts":[{"id":"https://openalex.org/C54486226","wikidata":"https://www.wikidata.org/wiki/Q493941","display_name":"Fibration","level":3,"score":0.8490224480628967},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4194509983062744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41185474395751953},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2509169280529022},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s096012952400032x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s096012952400032x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0C296DE6F8DFC50B42B0A853D3AE1B25/S096012952400032Xa.pdf/div-class-title-smooth-and-proper-maps-with-respect-to-a-fibration-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:digitalcommons.chapman.edu:engineering_articles-1213","is_oa":true,"landing_page_url":"https://digitalcommons.chapman.edu/engineering_articles/214","pdf_url":null,"source":{"id":"https://openalex.org/S4377196324","display_name":"Chapman University Digital Commons (Chapman University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I185071736","host_organization_name":"Chapman University","host_organization_lineage":["https://openalex.org/I185071736"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Engineering Faculty Articles and Research","raw_type":"text"},{"id":"pmh:oai:figshare.com:article/29950967","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal contribution"}],"best_oa_location":{"id":"doi:10.1017/s096012952400032x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s096012952400032x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0C296DE6F8DFC50B42B0A853D3AE1B25/S096012952400032Xa.pdf/div-class-title-smooth-and-proper-maps-with-respect-to-a-fibration-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404121313.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W16477519","https://openalex.org/W1487093245","https://openalex.org/W1591940114","https://openalex.org/W1594900487","https://openalex.org/W2013311002","https://openalex.org/W2016862652","https://openalex.org/W2031930376","https://openalex.org/W2099684400","https://openalex.org/W2494316805","https://openalex.org/W2598695607","https://openalex.org/W2679256729","https://openalex.org/W2883252932","https://openalex.org/W3083344096","https://openalex.org/W3165082057","https://openalex.org/W4214608545","https://openalex.org/W4248166369","https://openalex.org/W4312995316","https://openalex.org/W4365455930","https://openalex.org/W4380301803","https://openalex.org/W4392108299","https://openalex.org/W4392907678","https://openalex.org/W6630614700","https://openalex.org/W6739834935"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2059741426","https://openalex.org/W1546401445","https://openalex.org/W2963535804","https://openalex.org/W2971738326","https://openalex.org/W4297982037","https://openalex.org/W2388632143","https://openalex.org/W4288101645"],"abstract_inverted_index":{"Abstract":[0],"This":[1,55],"paper":[2,56],"explain":[3],"how":[4,30,46],"the":[5,16,49,70,73,87],"geometric":[6],"notions":[7],"of":[8,23,40],"local":[9],"contractibility":[10],"and":[11,19,43,52,67,86],"properness":[12],"are":[13,90],"related":[14],"to":[15,60,78],"$\\Sigma$":[17],"-types":[18,21],"$\\Pi$":[20],"constructors":[22],"dependent":[24],"type":[25],"theory.":[26],"We":[27],"shall":[28],"see":[29],"every":[31],"Grothendieck":[32],"fibration":[33],"comes":[34],"canonically":[35],"with":[36,69],"such":[37],"a":[38,62],"pair":[39],"notions\u2014called":[41],"smooth":[42],"proper":[44],"maps\u2014and":[45],"this":[47],"recovers":[48],"previous":[50],"examples":[51],"many":[53],"more.":[54],"uses":[57],"category":[58],"theory":[59],"reveal":[61],"common":[63],"structure":[64],"between":[65],"geometry":[66],"logic,":[68],"hope":[71],"that":[72],"parallel":[74],"will":[75],"be":[76],"beneficial":[77],"both":[79],"fields.":[80],"The":[81],"style":[82],"is":[83],"mostly":[84],"expository,":[85],"main":[88],"results":[89],"proved":[91],"in":[92],"external":[93],"references.":[94]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2024-11-07T00:00:00"}