{"id":"W2127124552","doi":"10.70930/tac/2z2nujii","title":"The double powerlocale and exponentiation:A case study in geometric logic","year":2004,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Locale (computer software); Exponentiation; Sierpinski triangle; Mathematics; Exponential function; Morphism; Discrete mathematics; Combinatorics; Pure mathematics; Computer science; Mathematical analysis; Fractal","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008165116,0.00006548998,0.00009361689,0.00009060777,0.0002675399,0.00009914216,0.0002064136,0.00002496042,8.979026e-7],"category_scores_gemma":[0.00001256828,0.00004385677,0.00001214935,0.0005546131,0.0001550851,0.0001512935,0.00009855784,0.00005096946,0.000002584197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009090318,"about_ca_system_score_gemma":0.00002294432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002071058,"about_ca_topic_score_gemma":0.0001097704,"domain_scores_codex":[0.9994235,0.00005621678,0.0001721383,0.0001659525,0.0000788171,0.0001033857],"domain_scores_gemma":[0.9993804,0.0001700099,0.00007431465,0.0002987795,0.00004721954,0.00002934231],"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.000007742598,0.00009161154,0.001227405,0.000007888572,0.000006566484,0.000008261926,0.002149006,0.00001415535,0.000008204686,0.9821711,0.000001233335,0.01430687],"study_design_scores_gemma":[0.0006433825,0.0001185717,0.001849296,7.827621e-7,0.000008566208,0.0001792477,0.008880878,0.00001448679,0.0003502177,0.987066,0.0008044628,0.00008406876],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3611278,0.00242318,0.6344635,0.0001734914,0.00004662145,0.0007433056,3.386607e-7,0.00004552472,0.0009762901],"genre_scores_gemma":[0.9994647,0.0000520481,0.0001683538,0.000009918842,0.0000171962,0.0001892962,6.451168e-7,0.000002440479,0.00009542298],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6383369,"threshold_uncertainty_score":0.2057728,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01810876111497783,"score_gpt":0.2654502220561309,"score_spread":0.2473414609411531,"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."}}