{"id":"W2050883910","doi":"10.1016/j.jpaa.2012.03.018","title":"Totally distributive toposes","year":2012,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Distributive property; Injective function; Topos theory; Embedding; Functor; Pure mathematics; Adjoint functors; Discrete mathematics; Computer science","routes":{"ca_aff":true,"ca_fund":false,"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.0008414027,0.0007282044,0.0008949115,0.002981846,0.003117398,0.005352968,0.0006749619,0.000985417,0.009882229],"category_scores_gemma":[0.0009958161,0.0007365886,0.0006835675,0.00218704,0.004775027,0.007736127,0.002594515,0.002630434,0.0008884341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001337597,"about_ca_system_score_gemma":0.0004972644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005950426,"about_ca_topic_score_gemma":0.0008772141,"domain_scores_codex":[0.9991259,0.0001353398,0.00005800845,0.0002052456,0.0003056511,0.0001699346],"domain_scores_gemma":[0.9989127,0.0002974411,0.0001075212,0.0001476645,0.0002859697,0.000248734],"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.00001337944,0.00001021186,0.00008738512,0.00001141899,0.000005076727,0.00005608088,0.0001856412,0.00005220423,0.0004605942,0.9972228,0.0003769636,0.001518271],"study_design_scores_gemma":[0.00002085201,0.00001510762,0.0004337483,0.000008200617,0.00001709341,0.000285319,0.0002383275,0.0004710135,0.0007345559,0.9903167,0.007446826,0.00001220361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4767563,0.002798131,0.08354295,0.003038333,0.0007870579,0.0000706573,0.0006149967,0.0005848199,0.4318067],"genre_scores_gemma":[0.9521502,0.0008245136,0.007132547,0.0002827767,0.0005443184,0.00003601726,0.0002365989,0.0001007662,0.03869225],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009882229,"threshold_uncertainty_score":0.03305942,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01943295868502919,"score_gpt":0.2808884284134848,"score_spread":0.2614554697284556,"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."}}