{"id":"W4381734619","doi":"10.1017/s0960129523000178","title":"Univalent categories of modules","year":2023,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Coproduct; Derived category; Abelian category; Sheaf; Axiom; Abelian group; Pure mathematics; Homotopy category; Ring (chemistry); Enriched category; Functor; Homotopy; Discrete mathematics; Geometry","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008999479,0.0002416476,0.0003868138,0.00222843,0.001194227,0.003191312,0.0006124376,0.0004599375,0.0054345],"category_scores_gemma":[0.001517425,0.0002712687,0.0005084099,0.0009813518,0.00296274,0.004092613,0.003508701,0.0008006911,0.0005892313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001231494,"about_ca_system_score_gemma":0.0003385915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007548836,"about_ca_topic_score_gemma":0.0004423249,"domain_scores_codex":[0.9990387,0.0001630544,0.00006105998,0.0001662529,0.0004070205,0.0001639122],"domain_scores_gemma":[0.9989262,0.0002856521,0.0001151906,0.0001899543,0.0002787533,0.0002041873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001072068,0.000008242545,0.0007594605,0.00002575757,0.00001135121,0.000109101,0.0008252026,0.0002331404,0.0009135603,0.9922636,0.0003948919,0.004445068],"study_design_scores_gemma":[0.00001132502,0.00003465211,0.002549828,0.00002839764,0.00001899282,0.0004396133,0.0007134574,0.002795448,0.001789707,0.9704146,0.02118542,0.00001860443],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.7315141,0.001668507,0.119927,0.0009463397,0.0001990165,0.00007315321,0.0005198556,0.0005680248,0.1445841],"genre_scores_gemma":[0.9876289,0.0001825025,0.004604577,0.0001257936,0.0001025261,0.00002873056,0.0001804432,0.00003688409,0.007109588],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0054345,"threshold_uncertainty_score":0.01818025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03598980780284592,"score_gpt":0.3237613476479769,"score_spread":0.2877715398451309,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}