{"id":"W4413965863","doi":"10.70930/tac/qbt4hsd2","title":"On the metrical and quantalic versions of the *-autonomous category of sup-lattices","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Computer science; Pure 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.00136661,0.0002253171,0.0002849075,0.001449789,0.001381681,0.002527922,0.0005808904,0.0006674865,0.003599279],"category_scores_gemma":[0.002549398,0.0001983176,0.0004859077,0.0008140854,0.007162311,0.00545599,0.002988819,0.001369938,0.00039869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009350775,"about_ca_system_score_gemma":0.0007361135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001516933,"about_ca_topic_score_gemma":0.000797992,"domain_scores_codex":[0.9990039,0.0003341086,0.00004426247,0.0001581126,0.000353545,0.0001059878],"domain_scores_gemma":[0.9982623,0.0007366472,0.0001305248,0.0002311356,0.0003382668,0.0003009702],"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.000007412972,0.000003376583,0.0001331606,0.000009233093,0.000001293812,0.00002668781,0.0002588214,0.00010641,0.0002316782,0.9975632,0.0001815794,0.001477111],"study_design_scores_gemma":[0.000005546865,0.00001987138,0.0005929142,0.00001163287,0.000002563031,0.0001385688,0.0002097339,0.001141544,0.0002531121,0.9847511,0.01286309,0.00001036956],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4060593,0.00736228,0.2729654,0.007363049,0.0006386092,0.00006167619,0.0006068564,0.0003922821,0.3045506],"genre_scores_gemma":[0.9707727,0.0007881723,0.01608334,0.000531347,0.0002699171,0.00003794786,0.0001730358,0.0000544582,0.01128912],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003599279,"threshold_uncertainty_score":0.01204079,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02077326336868077,"score_gpt":0.2947231491399451,"score_spread":0.2739498857712643,"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."}}