{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003414536,0.0001857826,0.0003326534,0.0003007764,0.0002532287,0.0001059973,0.0005814699,0.00007922942,0.00003829983],"category_scores_gemma":[0.0002049058,0.0001331827,0.00003035016,0.0007074802,0.0007943563,0.00007204345,0.0004019589,0.0001345969,0.000002542936],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005589859,"about_ca_system_score_gemma":0.0001020441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003183993,"about_ca_topic_score_gemma":0.00001600405,"domain_scores_codex":[0.9984804,0.00003193787,0.0003198946,0.0005149807,0.0002169736,0.000435815],"domain_scores_gemma":[0.9985753,0.0007401179,0.00005866407,0.0004233782,0.00008035679,0.0001221668],"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.0000211078,0.00006093012,0.0002416108,0.0001361438,0.00001386798,0.000003223689,0.0003914121,0.00001183619,0.0001746556,0.9833973,0.00008950057,0.01545841],"study_design_scores_gemma":[0.0003658152,0.00009636629,0.002834695,0.00004012873,0.00002380937,0.00005907243,0.00003244565,0.00410618,0.001136343,0.9910314,0.0001169891,0.0001567285],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2230268,0.00002266157,0.774841,0.000913071,0.0001474773,0.0007635558,0.000004633539,0.00004350295,0.000237414],"genre_scores_gemma":[0.7578651,9.328372e-7,0.2414011,0.0003746504,0.00005716602,0.0002496519,8.672534e-7,0.000007651448,0.0000428759],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5348384,"threshold_uncertainty_score":0.5431032,"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."}}