{"id":"https://openalex.org/W4381734619","doi":"https://doi.org/10.1017/s0960129523000178","title":"Univalent categories of modules","display_name":"Univalent categories of modules","publication_year":2023,"publication_date":"2023-02-01","ids":{"openalex":"https://openalex.org/W4381734619","doi":"https://doi.org/10.1017/s0960129523000178"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129523000178","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129523000178","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9FD3B9A2D3907970DBFCA8D58645A289/S0960129523000178a.pdf/div-class-title-univalent-categories-of-modules-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/9FD3B9A2D3907970DBFCA8D58645A289/S0960129523000178a.pdf/div-class-title-univalent-categories-of-modules-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077767259","display_name":"Jarl G. Taxer\u00e5s Flaten","orcid":"https://orcid.org/0000-0001-6670-6928"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jarl G. Taxer\u00e5s Flaten","raw_affiliation_strings":["Department of Mathematics, University of Western Ontario, London, ON, Canada"],"raw_orcid":"https://orcid.org/0000-0001-6670-6928","affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Western Ontario, London, ON, Canada","institution_ids":["https://openalex.org/I125749732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077767259"],"corresponding_institution_ids":["https://openalex.org/I125749732"],"apc_list":null,"apc_paid":null,"fwci":0.5159,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55043815,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"33","issue":"2","first_page":"106","last_page":"133"},"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.9994000196456909,"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.9994000196456909,"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9932000041007996,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9761000275611877,"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/mathematics","display_name":"Mathematics","score":0.8383923172950745},{"id":"https://openalex.org/keywords/coproduct","display_name":"Coproduct","score":0.8153716325759888},{"id":"https://openalex.org/keywords/derived-category","display_name":"Derived category","score":0.6133706569671631},{"id":"https://openalex.org/keywords/abelian-category","display_name":"Abelian category","score":0.6094900965690613},{"id":"https://openalex.org/keywords/sheaf","display_name":"Sheaf","score":0.5749721527099609},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5650240182876587},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.5526073575019836},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5195941925048828},{"id":"https://openalex.org/keywords/homotopy-category","display_name":"Homotopy category","score":0.5160598158836365},{"id":"https://openalex.org/keywords/ring","display_name":"Ring (chemistry)","score":0.45711612701416016},{"id":"https://openalex.org/keywords/enriched-category","display_name":"Enriched category","score":0.4456160068511963},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.3830544948577881},{"id":"https://openalex.org/keywords/homotopy","display_name":"Homotopy","score":0.3788068890571594},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37674203515052795},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10365438461303711}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8383923172950745},{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.8153716325759888},{"id":"https://openalex.org/C109593458","wikidata":"https://www.wikidata.org/wiki/Q5262626","display_name":"Derived category","level":3,"score":0.6133706569671631},{"id":"https://openalex.org/C186921422","wikidata":"https://www.wikidata.org/wiki/Q318737","display_name":"Abelian category","level":3,"score":0.6094900965690613},{"id":"https://openalex.org/C4017995","wikidata":"https://www.wikidata.org/wiki/Q595298","display_name":"Sheaf","level":2,"score":0.5749721527099609},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5650240182876587},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.5526073575019836},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5195941925048828},{"id":"https://openalex.org/C79236096","wikidata":"https://www.wikidata.org/wiki/Q14775269","display_name":"Homotopy category","level":3,"score":0.5160598158836365},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.45711612701416016},{"id":"https://openalex.org/C156163052","wikidata":"https://www.wikidata.org/wiki/Q5379515","display_name":"Enriched category","level":3,"score":0.4456160068511963},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.3830544948577881},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.3788068890571594},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37674203515052795},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10365438461303711},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129523000178","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129523000178","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9FD3B9A2D3907970DBFCA8D58645A289/S0960129523000178a.pdf/div-class-title-univalent-categories-of-modules-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"}],"best_oa_location":{"id":"doi:10.1017/s0960129523000178","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129523000178","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9FD3B9A2D3907970DBFCA8D58645A289/S0960129523000178a.pdf/div-class-title-univalent-categories-of-modules-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":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4381734619.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W49309432","https://openalex.org/W1525943315","https://openalex.org/W1936971149","https://openalex.org/W2010979550","https://openalex.org/W2044680615","https://openalex.org/W2054195362","https://openalex.org/W2144640394","https://openalex.org/W2196559987","https://openalex.org/W2494316805","https://openalex.org/W2603504987","https://openalex.org/W2614467562","https://openalex.org/W2618523108","https://openalex.org/W2964185027","https://openalex.org/W2964239360","https://openalex.org/W2981188613","https://openalex.org/W3097378488","https://openalex.org/W3100510067","https://openalex.org/W3101976357","https://openalex.org/W3106009785","https://openalex.org/W3133537387","https://openalex.org/W6684705412","https://openalex.org/W6755498281","https://openalex.org/W6786347871"],"related_works":["https://openalex.org/W3023012381","https://openalex.org/W4306882047","https://openalex.org/W1533461724","https://openalex.org/W4286973087","https://openalex.org/W3121797376","https://openalex.org/W1529998975","https://openalex.org/W2998248529","https://openalex.org/W2095343293","https://openalex.org/W3135668139","https://openalex.org/W3122758671"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"show":[2,78,196],"that":[3,35,64,79,138,197],"categories":[4],"of":[5,19,55,57,72,81,102,106,145,192,201,223,245,268],"modules":[6,246],"over":[7,247],"a":[8,48,114,149,178,238],"ring":[9,179],"in":[10,30,59,91,109,131,159,181,204,228],"homotopy":[11],"type":[12],"theory":[13],"(HoTT)":[14],"satisfy":[15],"the":[16,20,52,65,73,103,120,198,209,221,258,269],"internal":[17,104,199,259,270,278],"versions":[18],"AB":[21,121],"axioms":[22],"from":[23,276,281],"homological":[24],"algebra.":[25],"The":[26],"main":[27],"subtlety":[28],"lies":[29],"proving":[31],"AB4,":[32],"which":[33,211],"is":[34,67,95,137,148,252,257],"coproducts":[36],"indexed":[37],"by":[38,98],"arbitrary":[39],"sets":[40],"are":[41],"left-exact.":[42],"To":[43,118],"prove":[44],"this,":[45],"we":[46,69,77,123,163,195,265],"replace":[47],"set":[49],"X":[50,60,216,248,251],"with":[51,113,142],"strict":[53],"category":[54,90,200,222],"lists":[56],"elements":[58],".":[61,176,232,249],"From":[62],"showing":[63],"latter":[66],"filtered,":[68],"deduce":[70,266],"left-exactness":[71,267,279],"coproduct.":[74,260],"More":[75],"generally,":[76],"exactness":[80],"filtered":[82,127,139],"colimits":[83,140],"(AB5)":[84],"implies":[85],"AB4":[86],"for":[87,187],"any":[88],"abelian":[89,107],"HoTT.":[92,132,282],"Our":[93],"approach":[94],"heavily":[96],"inspired":[97],"Roswitha":[99],"Harting\u2019s":[100],"construction":[101],"coproduct":[105,271],"groups":[108],"an":[110,170,189,213,262,273],"elementary":[111],"topos":[112],"natural":[115],"numbers":[116],"object.":[117],"state":[119],"axioms,":[122],"define":[124],"and":[125],"study":[126],"(and":[128],"sifted)":[129],"precategories":[130],"A":[133],"key":[134],"result":[135,152],"needed":[136],"commute":[141],"finite":[143],"limits":[144],"sets.":[146],"This":[147],"familiar":[150],"classical":[151],"but":[153],"has":[154],"not":[155],"previously":[156],"been":[157],"checked":[158],"our":[160,165,235],"setting.":[161],"Finally,":[162],"interpret":[164],"most":[166],"central":[167],"results":[168,236],"into":[169],"$\\infty$":[171],"-topos":[172],"$":[173,175,182,185,205,207,215,219,224,226],"{\\mathscr{X}}":[174,206,218],"Given":[177],"R":[180,202],"{\\tau_{\\leq":[183],"0}({{\\mathscr{X}}})}":[184],"\u2013":[186,194],"example,":[188],"ordinary":[190,274],"sheaf":[191],"rings":[193],"-modules":[203,227],"represents":[208],"presheaf":[210],"sends":[212],"object":[214],"\\in":[217],"to":[220,242],"(X{\\times}R)":[225],"${\\mathscr{X}}":[229],"/":[230],"X$":[231],"In":[233],"general,":[234],"yield":[237],"product-preserving":[239],"left":[240,255],"adjoint":[241,256],"base":[243],"change":[244],"When":[250],"0-truncated,":[253],"this":[254],"By":[261],"internalisation":[263],"procedure,":[264],"as":[272],"functor":[275],"its":[277],"coming":[280]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}