{"id":"https://openalex.org/W4415300644","doi":"https://doi.org/10.1007/s10485-025-09833-z","title":"A Criterion for Categories on Which Every Grothendieck Topology is Rigid","display_name":"A Criterion for Categories on Which Every Grothendieck Topology is Rigid","publication_year":2025,"publication_date":"2025-10-17","ids":{"openalex":"https://openalex.org/W4415300644","doi":"https://doi.org/10.1007/s10485-025-09833-z","pmid":"https://pubmed.ncbi.nlm.nih.gov/41111630"},"language":"en","primary_location":{"id":"doi:10.1007/s10485-025-09833-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10485-025-09833-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10485-025-09833-z.pdf","source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10485-025-09833-z.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077654858","display_name":"J\u00e9r\u00e9mie Marqu\u00e8s","orcid":"https://orcid.org/0000-0001-9457-7465"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"J\u00e9r\u00e9mie Marqu\u00e8s","raw_affiliation_strings":["Dipartimento di Matematica Federigo Enriques, Universit\u00e0 degli studi di Milano, Via Saldini, 50, 20133 Milan, MI Italy","Dipartimento di Matematica Federigo Enriques, Universit\u00e0 degli studi di Milano, Via Saldini, 50, 20133, Milan, MI, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica Federigo Enriques, Universit\u00e0 degli studi di Milano, Via Saldini, 50, 20133 Milan, MI Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Dipartimento di Matematica Federigo Enriques, Universit\u00e0 degli studi di Milano, Via Saldini, 50, 20133, Milan, MI, Italy","institution_ids":["https://openalex.org/I189158943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077654858"],"corresponding_institution_ids":["https://openalex.org/I189158943"],"apc_list":{"value":3290,"currency":"USD","value_usd":3290},"apc_paid":{"value":3290,"currency":"USD","value_usd":3290},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3367777,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"33","issue":"6","first_page":"37","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9988999962806702,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.9883999824523926,"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/subcategory","display_name":"Subcategory","score":0.7414000034332275},{"id":"https://openalex.org/keywords/endomorphism","display_name":"Endomorphism","score":0.6134999990463257},{"id":"https://openalex.org/keywords/coproduct","display_name":"Coproduct","score":0.5141000151634216},{"id":"https://openalex.org/keywords/simplex","display_name":"Simplex","score":0.49619999527931213},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.47530001401901245},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.42800000309944153},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3723999857902527},{"id":"https://openalex.org/keywords/cofinality","display_name":"Cofinality","score":0.3199999928474426},{"id":"https://openalex.org/keywords/contractible-space","display_name":"Contractible space","score":0.3084999918937683}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8429999947547913},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.7414000034332275},{"id":"https://openalex.org/C116858840","wikidata":"https://www.wikidata.org/wiki/Q1340800","display_name":"Endomorphism","level":2,"score":0.6134999990463257},{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.5141000151634216},{"id":"https://openalex.org/C62438384","wikidata":"https://www.wikidata.org/wiki/Q331350","display_name":"Simplex","level":2,"score":0.49619999527931213},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.47530001401901245},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4377000033855438},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4221000075340271},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3723999857902527},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.335999995470047},{"id":"https://openalex.org/C148070024","wikidata":"https://www.wikidata.org/wiki/Q1283623","display_name":"Cofinality","level":4,"score":0.3199999928474426},{"id":"https://openalex.org/C169611556","wikidata":"https://www.wikidata.org/wiki/Q230689","display_name":"Contractible space","level":2,"score":0.3084999918937683},{"id":"https://openalex.org/C128520899","wikidata":"https://www.wikidata.org/wiki/Q1575634","display_name":"Concrete category","level":3,"score":0.3012999892234802},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.2851000130176544},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.2851000130176544},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C2776055716","wikidata":"https://www.wikidata.org/wiki/Q7316893","display_name":"Retract","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.2547000050544739},{"id":"https://openalex.org/C2777680557","wikidata":"https://www.wikidata.org/wiki/Q7259417","display_name":"Pullback","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10485-025-09833-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10485-025-09833-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10485-025-09833-z.pdf","source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"},{"id":"pmid:41111630","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/41111630","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied categorical structures","raw_type":"Journal Article"},{"id":"pmh:oai:europepmc.org:11342077","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/12534255","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC12534255/pdf/10485_2025_Article_9833.pdf","source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"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":null,"raw_type":"Text"},{"id":"pmh:oai:air.unimi.it:2434/1208195","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1208195","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10485-025-09833-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10485-025-09833-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10485-025-09833-z.pdf","source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1686424","display_name":null,"funder_award_id":"670624","funder_id":"https://openalex.org/F4320338453","funder_display_name":"HORIZON EUROPE European Research Council"},{"id":"https://openalex.org/G199127864","display_name":null,"funder_award_id":"670624","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320313475","display_name":"Universit\u00e0 degli Studi di Milano","ror":"https://ror.org/00wjc7c48"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338453","display_name":"HORIZON EUROPE European Research Council","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415300644.pdf","grobid_xml":"https://content.openalex.org/works/W4415300644.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W3159824982","https://openalex.org/W4306246421","https://openalex.org/W4388295632"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Let":[1],"$$\\mathbf{C}$$":[2,25,34,106],"be":[3],"a":[4,21,49,90,94],"small":[5],"category.":[6,45],"The":[7,83],"subtoposes":[8],"of":[9,14,24,80,89,105,112],"$$[\\mathbf{C}^\\textrm{op},\\mathbf{Set}]$$":[10],"are":[11,60],"sometimes":[12],"all":[13],"the":[15,29,43,66,87,98,109],"form":[16],"$$[\\mathbf{D}^\\textrm{op},\\mathbf{Set}]$$":[17],"where":[18],"$$\\mathbf{D}$$":[19],"is":[20,28,35,69],"full":[22],"subcategory":[23],".":[26,53,74],"This":[27],"case":[30],"for":[31],"instance":[32],"when":[33],"Cauchy-complete":[36],"and":[37,97,115],"finite,":[38],"an":[39],"Artinian":[40],"poset,":[41],"or":[42],"simplex":[44],"We":[46,75],"call":[47],"such":[48,64,81],"category":[50,57],"universally":[51,55,62,72],"rigid":[52,56,73],"A":[54],"whose":[58],"slices":[59,114],"also":[61],"rigid,":[63],"as":[65],"aforementioned":[67],"examples,":[68],"called":[70],"stably":[71],"provide":[76],"two":[77,102],"equivalent":[78],"characterizations":[79],"categories.":[82],"first":[84],"one":[85,100],"stipulates":[86],"existence":[88],"winning":[91],"strategy":[92],"in":[93],"two-player":[95],"game,":[96],"second":[99],"combines":[101],"\u201clocal\u201d":[103],"properties":[104],"involving":[107],"respectively":[108],"poset":[110],"reflections":[111],"its":[113,116],"endomorphism":[117],"monoids.":[118]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-18T00:00:00"}