{"id":"W4413972925","doi":"10.70930/tac/antdffgj","title":"Coherence for bicategories, lax functors, and shadows","year":2022,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Functor; Coherence (philosophical gambling strategy); Mathematics; Computer science; Pure mathematics; Statistics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001637052,0.0003623195,0.0004006941,0.001503414,0.001678325,0.001827605,0.0006237812,0.0005620037,0.005700183],"category_scores_gemma":[0.002597812,0.0004143214,0.0006031587,0.001060517,0.004872559,0.008592311,0.003926472,0.002119055,0.0005014629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001104013,"about_ca_system_score_gemma":0.0007272346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001360898,"about_ca_topic_score_gemma":0.001460614,"domain_scores_codex":[0.9988692,0.000304509,0.0000703582,0.0001950059,0.0003940948,0.0001666571],"domain_scores_gemma":[0.9980783,0.0009813092,0.0001182166,0.0002695557,0.0004093045,0.000143167],"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.000005355048,0.000003771651,0.000152562,0.00004046597,0.000003661331,0.00003986396,0.0005282179,0.0001359733,0.000803769,0.9925126,0.0005273967,0.005246404],"study_design_scores_gemma":[0.000005937654,0.00001968903,0.0005284883,0.00002869424,0.00000836144,0.0001333944,0.0004405472,0.001359566,0.001355896,0.9780595,0.01804707,0.0000128037],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1415709,0.004655302,0.7886773,0.002713996,0.0002675924,0.00007091007,0.000274379,0.0004896305,0.06128004],"genre_scores_gemma":[0.897026,0.001788705,0.08516999,0.0007048858,0.0002533922,0.000128549,0.0002491247,0.0001712787,0.01450801],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005700183,"threshold_uncertainty_score":0.01906896,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02002387388896787,"score_gpt":0.2848285302013468,"score_spread":0.2648046563123789,"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."}}