{"id":"W4400372506","doi":"10.48550/arxiv.2407.12840","title":"Categorical Foundations of Formalized Condensed Mathematics","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; Norges Forskningsråd; Danmarks Grundforskningsfond; Agence Nationale de la Recherche","keywords":"Mathematics; Sheaf; Topological space; Hausdorff space; Generalization; Categorical variable; Pure mathematics; Category of topological spaces; Topology (electrical circuits); Space (punctuation); Simple (philosophy); Category theory; Compact-open topology; Algebra over a field; Discrete mathematics; Topological tensor product; Computer science; Mathematical analysis; Combinatorics; Functional analysis","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004136751,0.000338173,0.0005463698,0.0003598838,0.00009918755,0.0001613494,0.002141062,0.0002967158,0.00008461626],"category_scores_gemma":[0.00009976054,0.0003637625,0.0003896824,0.0009610772,0.000202557,0.000202538,0.005351745,0.0006601005,0.0001437754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002932429,"about_ca_system_score_gemma":0.0004626268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001198322,"about_ca_topic_score_gemma":0.00002842271,"domain_scores_codex":[0.9979315,0.0001151772,0.0004408895,0.0009907694,0.0001768616,0.0003447731],"domain_scores_gemma":[0.9970978,0.0004289646,0.0003051987,0.001678815,0.0003314209,0.0001577364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000748643,0.0002746468,0.0001362547,0.0004228851,0.0001562837,0.0002039907,0.0008587473,0.03474584,0.00006047585,0.9621716,0.0004843862,0.0004774407],"study_design_scores_gemma":[0.0002028257,0.00003237047,0.00008109061,0.00002906736,0.00007085631,0.0000125533,0.0000443772,0.5238536,0.00012825,0.4751886,0.0001319892,0.0002244698],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09992488,0.00006658871,0.892732,0.0001538193,0.001043705,0.0004304257,0.00002140545,0.000418826,0.00520834],"genre_scores_gemma":[0.9722058,0.00003265637,0.0264445,0.00003015429,0.00005298259,0.000001880025,0.00001633746,0.00001915825,0.001196581],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8722809,"threshold_uncertainty_score":0.9998814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1029855945899104,"score_gpt":0.2171287319455116,"score_spread":0.1141431373556012,"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."}}