{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002881842,0.00007281053,0.0001455339,0.00003602101,0.0001158346,0.00001168277,0.0002642711,0.00003199232,0.000009637469],"category_scores_gemma":[0.00007396015,0.0000506741,0.00003143449,0.0003433113,0.0004784316,0.0001146955,0.0001451539,0.00007735765,0.000001076834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003503361,"about_ca_system_score_gemma":0.00005413407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004195934,"about_ca_topic_score_gemma":0.000002765538,"domain_scores_codex":[0.9993639,0.00008779529,0.0001903899,0.000162635,0.0001041332,0.00009116143],"domain_scores_gemma":[0.9985163,0.0008137331,0.0001169259,0.0004007569,0.0001238741,0.0000283609],"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.00001235773,0.00005052306,0.00006254953,0.00002994011,0.000006965313,3.331882e-7,0.0005077051,0.00003594407,0.005283025,0.9852433,0.000006427157,0.008760972],"study_design_scores_gemma":[0.0001012185,0.0000727174,0.001436113,0.000008274174,0.00001452199,0.00001226639,0.0004296014,0.0001905235,0.110961,0.8861718,0.0005326372,0.00006932393],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1054124,0.0008268825,0.8897596,0.0009166338,0.00002350372,0.0001676541,0.00001444745,0.00001961657,0.00285922],"genre_scores_gemma":[0.9981422,0.0001610557,0.00146506,0.00005641997,0.00001483267,0.00003732613,0.000002064606,0.000002718874,0.0001183316],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8927298,"threshold_uncertainty_score":0.206643,"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."}}