{"id":"W4390722435","doi":"10.48550/arxiv.2401.03484","title":"Infinitely ludic categories","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Fundação de Amparo à Pesquisa do Estado de São Paulo","keywords":"Mathematics; Morphism; Cartesian closed category; Mathematical proof; Pure mathematics; Functor; Distributive property; Commutative property; Axiom; Discrete mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.0007429282,0.0003653261,0.0003188149,0.001679827,0.001638351,0.0024328,0.0007649318,0.0005917171,0.00505425],"category_scores_gemma":[0.001548298,0.0002083399,0.0006125254,0.000889668,0.003854084,0.004599713,0.002621492,0.001512474,0.0005381561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001883424,"about_ca_system_score_gemma":0.0006281955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001450815,"about_ca_topic_score_gemma":0.001550538,"domain_scores_codex":[0.9990747,0.0002742943,0.00005656265,0.0001973749,0.0002656932,0.0001312895],"domain_scores_gemma":[0.9991693,0.0003121488,0.00006739306,0.0001222209,0.0001708035,0.000158078],"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.000001571419,0.000002325771,0.00006901486,0.00000542936,0.000001032167,0.00001282301,0.0001371909,0.0001146068,0.0001803423,0.9980883,0.0001592159,0.001228001],"study_design_scores_gemma":[0.000003547633,0.0000122789,0.0002693469,0.0000113665,0.000004286435,0.00009195356,0.0002429196,0.002231972,0.0004196534,0.9726229,0.02408185,0.000007897038],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2022575,0.002149669,0.5450757,0.003016274,0.0002411221,0.00009638223,0.0005181159,0.000650982,0.2459943],"genre_scores_gemma":[0.9079428,0.0005852452,0.05888581,0.0005541048,0.0001661947,0.0001422575,0.0003588829,0.00008586585,0.03127887],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00505425,"threshold_uncertainty_score":0.01690823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1409667355070182,"score_gpt":0.2422664175468183,"score_spread":0.1012996820398001,"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."}}