{"id":"W4416725058","doi":"10.1017/s0960129525100273","title":"Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry","year":2025,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary; Dalhousie University","funders":"","keywords":"Morphism; Tangent bundle; Functor; Tangent cone; Tangent; Equivariant map; Differential (mechanical device); Tangent vector; Derived algebraic geometry","routes":{"ca_aff":true,"ca_fund":false,"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.0008421996,0.0005318193,0.0004282236,0.001936752,0.001583371,0.002639931,0.0008842023,0.0006302906,0.00590018],"category_scores_gemma":[0.001556584,0.0003718366,0.0008320045,0.0008972064,0.003852125,0.00521209,0.004832087,0.001989307,0.0005506701],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001525481,"about_ca_system_score_gemma":0.0004871543,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001101366,"about_ca_topic_score_gemma":0.0009865331,"domain_scores_codex":[0.9990784,0.0002113163,0.00006914092,0.000208246,0.0002866872,0.0001462006],"domain_scores_gemma":[0.9990335,0.0002139704,0.0001192133,0.0001456038,0.0002613562,0.0002264094],"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.00001099886,0.00001102712,0.0002196936,0.00002105556,0.000003877509,0.0001270469,0.000499435,0.0003054652,0.0008805502,0.9942793,0.0002038189,0.003437798],"study_design_scores_gemma":[0.000009462451,0.00005429806,0.0008460968,0.00002219226,0.00001205245,0.0003901352,0.0004154042,0.004543175,0.002239279,0.9775062,0.01393722,0.00002451517],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5030006,0.002034845,0.3692724,0.001765006,0.0006126456,0.00008650401,0.0003006142,0.001150505,0.1217769],"genre_scores_gemma":[0.9655226,0.0004599775,0.01818019,0.0002250493,0.0002262963,0.00004870482,0.0001483503,0.0001752624,0.01501364],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00590018,"threshold_uncertainty_score":0.01973808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02307499193266135,"score_gpt":0.3233742027963839,"score_spread":0.3002992108637226,"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."}}