{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003284287,0.00009024821,0.000202449,0.000138363,0.00009288447,0.00004641453,0.0004266709,0.00004737632,0.000001413158],"category_scores_gemma":[0.0001901844,0.0000513564,0.00004007265,0.0005212979,0.0001394112,0.0002803232,0.00009158569,0.0002098752,0.000001587955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001960389,"about_ca_system_score_gemma":0.00006749624,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004357155,"about_ca_topic_score_gemma":0.00002814916,"domain_scores_codex":[0.9988391,0.00009137252,0.0005124362,0.00009815692,0.0002265831,0.0002322964],"domain_scores_gemma":[0.9989619,0.0001997629,0.0004453274,0.0001820224,0.0001586557,0.000052323],"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.00002985022,0.0001293067,0.01430808,0.00005631348,0.00003515506,0.00004729931,0.008150668,0.00001920093,0.0005358293,0.7284492,0.00006453555,0.2481745],"study_design_scores_gemma":[0.002508258,0.002701366,0.07268246,0.0001329645,0.0001338997,0.002935481,0.009355675,0.0005130971,0.007698651,0.8661577,0.03445058,0.0007298397],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.220003,0.008695575,0.7663547,0.00231903,0.0005971627,0.0004252926,1.002489e-7,0.00004502865,0.001560175],"genre_scores_gemma":[0.9887213,0.00005027622,0.01101422,0.00003526818,0.0000900602,0.000001033211,1.770982e-7,0.000003623918,0.00008404539],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7687183,"threshold_uncertainty_score":0.2094253,"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."}}