{"id":"W2980088699","doi":"10.4230/lipics.csl.2020.17","title":"Tangent Categories from the Coalgebras of Differential Categories","year":2019,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brandon University; University of Calgary","funders":"Clarendon Fund; Natural Sciences and Engineering Research Council of Canada; DeepMind","keywords":"Mathematics; Category of groups; Closed category; Differential (mechanical device); Category theory; Tangent; Pure mathematics; Concrete category; Derived category; Biproduct; Equivalence of categories; Algebra over a field; Enriched category; Abelian group; Abelian category; Geometry; Functor","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.001004061,0.0004017477,0.0003081374,0.001981377,0.001306527,0.003626395,0.0006572013,0.0006488273,0.01145768],"category_scores_gemma":[0.00232328,0.0002731275,0.0005359246,0.001177807,0.004012154,0.009736495,0.003734277,0.002056797,0.00143249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001267749,"about_ca_system_score_gemma":0.0007611659,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008104306,"about_ca_topic_score_gemma":0.000817692,"domain_scores_codex":[0.999002,0.0002547736,0.00006603604,0.0001662066,0.0004137515,0.0000971807],"domain_scores_gemma":[0.9988015,0.0003924692,0.00008519329,0.0001917575,0.0003321571,0.0001968401],"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.000002946334,0.00000195225,0.00006924698,0.00001755111,0.000001720441,0.00001982941,0.0002312278,0.00007016073,0.0002461944,0.9957806,0.0006423187,0.002916262],"study_design_scores_gemma":[0.000002989459,0.000005685601,0.000195061,0.00001013045,0.000001928285,0.0001084339,0.0001621164,0.000449782,0.0003039556,0.9735363,0.02521759,0.000006088931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1085329,0.007295211,0.5251737,0.004664431,0.00101816,0.00009870584,0.001090466,0.0007808413,0.3513456],"genre_scores_gemma":[0.8789193,0.003405612,0.061837,0.001246944,0.0008447575,0.0001473872,0.001140663,0.0003050377,0.05215329],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01145768,"threshold_uncertainty_score":0.03832978,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03294372047147163,"score_gpt":0.2945512291885288,"score_spread":0.2616075087170572,"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."}}