{"id":"W1679869076","doi":"10.70930/tac/kvnd5iq0","title":"A logic for categories","year":2010,"lang":"en","type":"preprint","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Functor; Mathematics; Categorical variable; Adjunction; Context (archaeology); Pure mathematics; Symmetry (geometry); Doctrine; Algebra over a field; Discrete mathematics; Law; Geometry","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002414793,0.0005532905,0.000391705,0.001741386,0.002732302,0.005754337,0.001048194,0.001534307,0.009254607],"category_scores_gemma":[0.002144271,0.0002751519,0.0007391706,0.001316189,0.008067321,0.009857202,0.003141017,0.003349642,0.001692887],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002914202,"about_ca_system_score_gemma":0.001295582,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00199421,"about_ca_topic_score_gemma":0.001526297,"domain_scores_codex":[0.9983779,0.0007811037,0.00009709332,0.0002658301,0.000331037,0.0001470902],"domain_scores_gemma":[0.9990343,0.0004226064,0.00006010688,0.0001842524,0.0001742905,0.0001244558],"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.00000167008,0.000001655074,0.00001788791,0.000009131044,8.051937e-7,0.00001245339,0.0001441644,0.00005653005,0.0000651225,0.9973826,0.0007339768,0.00157392],"study_design_scores_gemma":[0.000003843017,0.000005182156,0.00003454153,0.00001704134,0.000001691911,0.00004652191,0.0001144696,0.0004860811,0.00008869599,0.9554112,0.04378736,0.000003468392],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02312196,0.01521133,0.5422097,0.02883809,0.001482408,0.000133986,0.001209589,0.001081825,0.3867111],"genre_scores_gemma":[0.7453099,0.005299093,0.1738138,0.007086357,0.001818388,0.000457674,0.001086474,0.0003436582,0.06478468],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009254607,"threshold_uncertainty_score":0.03095973,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02631057905171113,"score_gpt":0.3207602692471022,"score_spread":0.294449690195391,"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."}}