{"id":"W4402619220","doi":"10.1017/s0960129525100339","title":"Exponentiable functors between synthetic $\\boldsymbol{\\infty}$-categories","year":2025,"lang":"en","type":"preprint","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; University of Ottawa","keywords":"Functor; Mathematics; Pure mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00165211,0.0005224449,0.0004243141,0.001888448,0.001020193,0.002753449,0.0006671743,0.0006253234,0.005888056],"category_scores_gemma":[0.003091831,0.0002602681,0.0005814739,0.0008748457,0.003424886,0.006670868,0.004058929,0.001474097,0.0005204072],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009750039,"about_ca_system_score_gemma":0.000331441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003188657,"about_ca_topic_score_gemma":0.0002740293,"domain_scores_codex":[0.9988839,0.0002505189,0.00008586248,0.0002139098,0.0003879162,0.0001778752],"domain_scores_gemma":[0.9981072,0.0006480508,0.0002882076,0.0002627671,0.0004296128,0.0002641432],"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.00002385797,0.00001059972,0.0004969737,0.00003058187,0.000006534739,0.000162187,0.000368275,0.0005677231,0.001557789,0.9927956,0.0001997778,0.003780061],"study_design_scores_gemma":[0.0000168589,0.00005911219,0.0009845119,0.00003087591,0.00001267443,0.0005371973,0.0006228736,0.005991914,0.003949705,0.9736571,0.01411402,0.00002329983],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.7473301,0.0008587196,0.2022352,0.0009330358,0.0002178343,0.00005396555,0.0003134239,0.0003014516,0.04775621],"genre_scores_gemma":[0.9796934,0.0002256035,0.01333269,0.00008332711,0.00008612269,0.00002602061,0.0001634434,0.00006902726,0.00632053],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005888056,"threshold_uncertainty_score":0.01969749,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03624767132488236,"score_gpt":0.3223249797455608,"score_spread":0.2860773084206784,"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."}}