{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003155162,0.00008232953,0.000136246,0.00006987884,0.00005272447,0.0000182979,0.0003004319,0.00003569618,0.00000270698],"category_scores_gemma":[0.00001938397,0.00006182243,0.000009175455,0.0003313874,0.0004074005,0.0002861644,0.00008531864,0.00006574632,0.000003689729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008819517,"about_ca_system_score_gemma":0.00005467656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001603816,"about_ca_topic_score_gemma":0.00001842613,"domain_scores_codex":[0.9994277,0.00005914892,0.0001322262,0.0001826727,0.00007247499,0.0001258069],"domain_scores_gemma":[0.9993806,0.0001287108,0.00006118307,0.0003104445,0.0000660182,0.00005304419],"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.0000307706,0.00002733023,0.001059391,0.000008643038,0.000003621383,8.381351e-7,0.001452837,0.00004785097,0.00004724788,0.9891914,0.000007408315,0.008122642],"study_design_scores_gemma":[0.0002208058,0.0001005759,0.0008349075,0.000002329225,0.00000364157,0.00001572157,0.001347571,0.00003919333,0.002085633,0.993323,0.00194068,0.00008598503],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06984366,0.000877925,0.923004,0.0002858594,0.00002321517,0.0001974535,0.000001394008,0.00006577613,0.005700762],"genre_scores_gemma":[0.9944926,0.00002683758,0.005080119,0.00005364724,0.0000205399,0.0001226213,0.000003047415,0.000003861467,0.0001967592],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9246489,"threshold_uncertainty_score":0.2521046,"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."}}