{"id":"W3156847159","doi":"10.70930/tac/usi111hi","title":"A note on the categorical notions of normal subobject and of equivalence class","year":2021,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","keywords":"Categorical variable; Equivalence (formal languages); Mathematics; Class (philosophy); Algebra over a field; Computer science; Pure mathematics; Statistics; Artificial intelligence","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.004001027,0.0007758451,0.001016096,0.001810051,0.004197509,0.005598838,0.002268312,0.002467288,0.009231682],"category_scores_gemma":[0.01095716,0.0005470114,0.001383797,0.002075613,0.0211402,0.02634727,0.006567434,0.01201226,0.001374968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002028677,"about_ca_system_score_gemma":0.001688435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006318076,"about_ca_topic_score_gemma":0.01150674,"domain_scores_codex":[0.9974952,0.0008109047,0.0001720461,0.0004943369,0.0008229809,0.0002045376],"domain_scores_gemma":[0.9912933,0.005905239,0.0003214989,0.001195792,0.000778626,0.000505511],"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.000008626102,0.000005774597,0.00007251749,0.00002037135,0.000003285531,0.00003844326,0.0002743191,0.00004232022,0.0001402834,0.9918398,0.005044075,0.002510189],"study_design_scores_gemma":[0.000006245818,0.000009998403,0.0002369284,0.00001947383,0.000005121115,0.0000790817,0.0001318748,0.0001528003,0.00009241338,0.9600341,0.03922063,0.00001141506],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01444847,0.02122832,0.3102607,0.1086541,0.02013847,0.0001177079,0.0007173829,0.0005366375,0.5238983],"genre_scores_gemma":[0.5780076,0.02266875,0.2405015,0.03174826,0.02001526,0.0004492043,0.0007924978,0.0007222831,0.1050947],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009231682,"threshold_uncertainty_score":0.03088307,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0119697417710272,"score_gpt":0.2544780815078427,"score_spread":0.2425083397368155,"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."}}