{"id":"W3120033270","doi":"10.1007/s10485-021-09671-9","title":"Kan Extensions are Partial Colimits","year":2022,"lang":"en","type":"preprint","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Air Force Office of Scientific Research; Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; Fields Institute for Research in Mathematical Sciences; Massachusetts Institute of Technology","keywords":"Morphism; Mathematics; Monad (category theory); Extensionality; Distributive property; Pure mathematics; Algebra over a field; Functor; Discrete 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","research_integrity","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002479158,0.000612816,0.001078719,0.0001377043,0.0005234164,0.00005377584,0.001033101,0.001051455,0.005817536],"category_scores_gemma":[0.0002786737,0.0005506336,0.0002936114,0.0002036885,0.0003643282,0.00001593426,0.002212416,0.002681074,0.0000533918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002042181,"about_ca_system_score_gemma":0.0001954728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004288311,"about_ca_topic_score_gemma":0.00003930246,"domain_scores_codex":[0.9967027,0.0002470004,0.0006926334,0.00108446,0.0005235304,0.000749732],"domain_scores_gemma":[0.9972818,0.000658531,0.0005304968,0.00121486,0.00006135818,0.0002529509],"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.00007262393,0.0001056423,0.0001574218,0.00009548595,0.0001910342,0.0001793058,0.0003429622,0.0001259169,0.0001035102,0.9769943,0.02063438,0.0009974306],"study_design_scores_gemma":[0.0003601387,0.0000471167,0.002051677,0.000001747993,0.0002241686,0.00008192036,0.0003389571,0.00002264899,0.0003523977,0.9811326,0.0148204,0.0005662217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8829102,0.0009813161,0.01892672,0.006560659,0.01123237,0.004289275,0.0002356403,0.002102618,0.07276119],"genre_scores_gemma":[0.9954013,0.00003537826,0.00121224,0.000907222,0.0007962201,0.0007632796,0.0001474546,0.00008767513,0.0006491829],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1124911,"threshold_uncertainty_score":0.9996945,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05293792280473784,"score_gpt":0.3226796264998915,"score_spread":0.2697417036951537,"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."}}