{"id":"W2949602603","doi":"10.1007/978-3-031-24117-8_22","title":"Compact Inverse Categories","year":2023,"lang":"en","type":"book-chapter","venue":"Outstanding contributions to logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"Engineering and Physical Sciences Research Council","keywords":"Mathematics; Inverse; Semilattice; Commutative property; Pure mathematics; Simple (philosophy); Structured program theorem; Abelian group; Algebra over a field; Discrete mathematics; 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.000354735,0.0005486395,0.000464627,0.001367328,0.001077121,0.003018843,0.0006310795,0.0005985863,0.02866107],"category_scores_gemma":[0.00101143,0.000312533,0.0003812514,0.001208421,0.001739465,0.004455227,0.001894315,0.002401372,0.00670199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001301477,"about_ca_system_score_gemma":0.000661799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000856032,"about_ca_topic_score_gemma":0.001128249,"domain_scores_codex":[0.9996081,0.00005689834,0.0000127328,0.00008101497,0.000203816,0.00003743781],"domain_scores_gemma":[0.999724,0.00008325194,0.00001422172,0.00006650685,0.00008469072,0.00002734928],"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.000005428759,0.000005726791,0.00002828099,0.00003360774,0.00000191222,0.00001242433,0.0001101695,0.00009958498,0.0002632299,0.9614397,0.01589843,0.02210164],"study_design_scores_gemma":[0.00000236082,0.000005940916,0.0001197647,0.00003660059,0.000003356003,0.0001274638,0.00006497649,0.0003898458,0.0003139978,0.7102001,0.2887308,0.00000475247],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.004344836,0.009745666,0.0377494,0.001545932,0.000814581,0.00001656198,0.0002642183,0.0003595137,0.9451591],"genre_scores_gemma":[0.1475852,0.01030535,0.02425594,0.001315399,0.001262949,0.00007173896,0.001064037,0.0004702284,0.8136691],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02866107,"threshold_uncertainty_score":0.09588087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05309027762294337,"score_gpt":0.2918311201606356,"score_spread":0.2387408425376922,"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."}}