{"id":"W2060444148","doi":"10.1016/j.jlap.2007.10.003","title":"Products in categories of relations","year":2007,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Cartesian product; Categorical variable; Product category; Cartesian closed category; Product (mathematics); Relational theory; Mathematics; Category theory; Computer science; Algebra over a field; Theoretical computer science; Pure mathematics; Discrete mathematics; Statistics; Geometry","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.002587737,0.0007993718,0.001376008,0.00368867,0.003570348,0.008175393,0.001427409,0.001781674,0.00899067],"category_scores_gemma":[0.004368693,0.001185578,0.001308463,0.005066571,0.007683644,0.01545969,0.005100525,0.003590937,0.001550662],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001887838,"about_ca_system_score_gemma":0.0009552712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001750729,"about_ca_topic_score_gemma":0.001365483,"domain_scores_codex":[0.9970376,0.001057029,0.0002318697,0.0006502344,0.0007869548,0.0002362934],"domain_scores_gemma":[0.9969264,0.001548072,0.0002265546,0.0005187568,0.0005298068,0.000250486],"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.000005437195,0.000003129246,0.00007718728,0.00001635783,0.000003001433,0.00001670391,0.0002732779,0.00006258779,0.00006367188,0.9965068,0.0005362746,0.002435548],"study_design_scores_gemma":[0.000004268419,0.000005479922,0.00006881013,0.000007711363,0.000005571922,0.00005734232,0.0000901699,0.0002618855,0.00008102334,0.9912157,0.008197545,0.000004584632],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1396062,0.02649261,0.4977564,0.01003882,0.002148749,0.0001623407,0.001539967,0.001446955,0.3208079],"genre_scores_gemma":[0.8496438,0.006144438,0.09190108,0.001463482,0.001548723,0.0002410658,0.0011947,0.0005533186,0.04730933],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00899067,"threshold_uncertainty_score":0.0300768,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02487104764679925,"score_gpt":0.2535383499165113,"score_spread":0.228667302269712,"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."}}