{"id":"W4413966131","doi":"10.70930/tac/6vubmnkc","title":"Groupoids in categories with pretopology","year":2015,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Mathematics","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.00131972,0.00062217,0.0005670178,0.003022471,0.002031266,0.002906958,0.0007660249,0.0009876654,0.005342121],"category_scores_gemma":[0.001462785,0.0003458549,0.0008262919,0.002435014,0.005787523,0.007834977,0.003234901,0.002014863,0.00102033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001567639,"about_ca_system_score_gemma":0.0006097177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001770737,"about_ca_topic_score_gemma":0.001399065,"domain_scores_codex":[0.9989047,0.0003157507,0.00007177665,0.0002123215,0.000341307,0.0001541516],"domain_scores_gemma":[0.998923,0.0004389551,0.000118504,0.0001750276,0.0001870157,0.0001575566],"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.000004079632,0.000005836684,0.0002331273,0.00005307111,0.000005786746,0.0000765229,0.0006680996,0.0002929277,0.0003329852,0.9922389,0.0005728183,0.005515898],"study_design_scores_gemma":[0.000003089864,0.00003055464,0.0004946572,0.00005416396,0.00001079827,0.0003614695,0.0005914028,0.0008267502,0.0005154581,0.9298476,0.06725135,0.0000126622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2016339,0.03529939,0.5552167,0.005323353,0.00102475,0.0001840204,0.0005218516,0.0008072343,0.1999888],"genre_scores_gemma":[0.8460907,0.01123347,0.1105776,0.001223043,0.0007737468,0.0001744764,0.000557897,0.0001710763,0.029198],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005342121,"threshold_uncertainty_score":0.0178712,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01099275083926635,"score_gpt":0.2467731844099355,"score_spread":0.2357804335706691,"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."}}