{"id":"W3082202956","doi":"10.23638/lmcs-17(1:3)2021","title":"2-adjoint equivalences in homotopy type theory","year":2021,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Homotopy; Type (biology); Pure mathematics; Cofibration; Type theory; Homotopy category; Algebra over a field; n-connected; Regular homotopy","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.003040926,0.0005303783,0.0005186101,0.002170986,0.001319185,0.002846454,0.0009835341,0.00123001,0.007894889],"category_scores_gemma":[0.003660693,0.0004244065,0.0007710084,0.001304668,0.003863696,0.009425483,0.003388959,0.002950456,0.001094852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009398346,"about_ca_system_score_gemma":0.0005358559,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005178378,"about_ca_topic_score_gemma":0.0004055771,"domain_scores_codex":[0.9981756,0.0005144195,0.0001110344,0.00026344,0.0006994411,0.0002360277],"domain_scores_gemma":[0.9979558,0.001083404,0.0001176788,0.0002385397,0.0004393736,0.0001652528],"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.00001368576,0.00001547083,0.0001876112,0.00002461132,0.000003931189,0.00006821155,0.0001935148,0.0003154503,0.0007661069,0.9936032,0.000578314,0.004229821],"study_design_scores_gemma":[0.0000125816,0.00001905228,0.0002023025,0.00001692037,0.000005629567,0.0001050938,0.0001133735,0.002937408,0.001852515,0.9876267,0.007097628,0.00001074],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.16633,0.001452476,0.7271483,0.00225816,0.001047365,0.00008981685,0.0006067088,0.001113224,0.09995401],"genre_scores_gemma":[0.9219819,0.0006478948,0.06154748,0.001131623,0.0003764134,0.0001152674,0.0004012613,0.0002540408,0.01354404],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007894889,"threshold_uncertainty_score":0.02641106,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1724431189938663,"score_gpt":0.4691749533310873,"score_spread":0.2967318343372209,"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."}}