{"id":"W4413965736","doi":"10.70930/tac/02b4cd96","title":"On a Universal Property of the Algebra of Contracts","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"American Society for Engineering Education; National Science Foundation","keywords":"Property (philosophy); Algebra over a field; Mathematics; Computer science; Pure mathematics; Philosophy; Epistemology","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.0005020525,0.00004404586,0.00007899372,0.0000407783,0.00004069423,0.00001122455,0.0003580876,0.00002397202,0.000003725893],"category_scores_gemma":[0.00005555341,0.00002419166,0.00002585932,0.0002859188,0.000321985,0.0001423167,0.00006444313,0.00005116376,0.000001295931],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005165944,"about_ca_system_score_gemma":0.00005045478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006853146,"about_ca_topic_score_gemma":3.283249e-7,"domain_scores_codex":[0.9995465,0.00008787754,0.0001358264,0.00009860816,0.00008599932,0.0000452374],"domain_scores_gemma":[0.9992182,0.0002651766,0.00007742683,0.0003637479,0.00006329308,0.00001220728],"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.00001434384,0.0000220366,0.00000530809,0.00005374742,0.000008874042,3.025624e-8,0.0006883937,0.00001264066,0.004820147,0.9585183,0.00001646455,0.03583969],"study_design_scores_gemma":[0.00005334377,0.00004914997,0.000399007,0.00003206615,0.00001265035,0.000002079088,0.0001752636,0.000955001,0.2022224,0.7931654,0.002893635,0.00003996843],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04813125,0.0004730228,0.9422234,0.0002746982,0.00007578792,0.0003505402,0.00001018376,0.0000419093,0.008419249],"genre_scores_gemma":[0.9923759,0.00002212797,0.00729319,0.00001413768,0.000008065742,0.00002201538,5.235151e-7,0.000002538315,0.0002615037],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9442446,"threshold_uncertainty_score":0.1186367,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01100094850310093,"score_gpt":0.2554886172477502,"score_spread":0.2444876687446493,"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."}}