{"id":"W4386400244","doi":"10.4204/eptcs.386.5","title":"Duality of Lattices Associated to Left and Right Quotients","year":2023,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Austrian Science Fund; Natural Sciences and Engineering Research Council of Canada; Eesti Teadusagentuur","keywords":"Duality (order theory); Quotient; Mathematics; Pure mathematics; Left and right; Structural engineering; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002778357,0.0004882898,0.0008016022,0.001726632,0.002427647,0.007034665,0.001081185,0.001016643,0.005236648],"category_scores_gemma":[0.006730878,0.0007591658,0.001502185,0.0008919762,0.006424419,0.008762075,0.00571721,0.003433864,0.0008657636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001984831,"about_ca_system_score_gemma":0.000917099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006311635,"about_ca_topic_score_gemma":0.0005381146,"domain_scores_codex":[0.9943698,0.001384416,0.0003975908,0.001248881,0.001645449,0.0009539378],"domain_scores_gemma":[0.9942393,0.001800567,0.0007239282,0.0009504158,0.001180811,0.001104875],"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.0001034848,0.00005438458,0.0008294082,0.00003176542,0.0000073528,0.0001734989,0.0007987671,0.0007821755,0.00394222,0.989062,0.0003286488,0.003886268],"study_design_scores_gemma":[0.00005604859,0.00007307019,0.0003904247,0.0000322365,0.00002189479,0.0004881468,0.0007156084,0.00999654,0.01415261,0.9653513,0.008674243,0.00004787981],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5214594,0.0005716906,0.3926339,0.001442839,0.0002590595,0.0001511874,0.0005259368,0.0005915677,0.08236436],"genre_scores_gemma":[0.9101707,0.0001426426,0.08016321,0.0002110176,0.0001192978,0.0001145367,0.0003678359,0.0001808316,0.008529936],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007034665,"threshold_uncertainty_score":0.01751834,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006738549479829083,"score_gpt":0.2572404120996604,"score_spread":0.2505018626198313,"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."}}