{"id":"W3005255079","doi":"10.70930/tac/re3rk47b","title":"Lax comma 2-categories and admissible 2-functors","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Leibniz-Gemeinschaft; Centro de Matemática, Universidade de Coimbra; Université Catholique de Louvain; Ministério da Ciência, Tecnologia e Ensino Superior; Mathematisches Forschungsinstitut Oberwolfach; University of Cape Town; Fundação para a Ciência e a Tecnologia; Universidade de Coimbra","keywords":"Adjunction; Mathematics; Functor; Monad (category theory); Pure mathematics; Context (archaeology); Idempotence; Simple (philosophy); Supermanifold; Morphism; Base (topology); Algebra over a field","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.001240153,0.0005326307,0.0003656574,0.002004382,0.001578914,0.002533256,0.0005643207,0.0008389733,0.004961438],"category_scores_gemma":[0.001049911,0.0002750873,0.0009358926,0.0008362166,0.003565737,0.00473554,0.004392437,0.001181885,0.0005696657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009694794,"about_ca_system_score_gemma":0.0005777557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006104579,"about_ca_topic_score_gemma":0.0006867681,"domain_scores_codex":[0.998917,0.0002981555,0.00006759164,0.0002008339,0.0002923234,0.0002240565],"domain_scores_gemma":[0.9993867,0.0001668538,0.0001031222,0.00009612133,0.0001152641,0.0001319142],"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.00001213849,0.00000957459,0.0003334915,0.00002927713,0.000004581854,0.0001647231,0.0006168302,0.000369973,0.001835672,0.9916642,0.0001860812,0.004773482],"study_design_scores_gemma":[0.00000879216,0.00004813535,0.000947309,0.00003673865,0.00001069366,0.0004015263,0.0004949811,0.00250329,0.001950473,0.9691835,0.02438878,0.00002584209],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4341221,0.00273235,0.4580842,0.001201991,0.0003842392,0.0001047391,0.0003068498,0.0005606105,0.1025028],"genre_scores_gemma":[0.9240972,0.0006964221,0.05540163,0.0004038381,0.000211372,0.0001226527,0.0002543167,0.00006975051,0.01874283],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004961438,"threshold_uncertainty_score":0.01659763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01776162108791271,"score_gpt":0.2982624396425644,"score_spread":0.2805008185546518,"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."}}