{"id":"W3130699612","doi":"10.70930/tac/h0h2ld9s","title":"String diagrams for 4-categories and fibrations of mapping 4-groupoids","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fundação para a Ciência e a Tecnologia","keywords":"Fibration; Functor; Mathematics; Diagram; String (physics); Categorical variable; Pure mathematics; Algebra over a field; Homotopy","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.001902261,0.0006102758,0.0005130167,0.002998176,0.001564456,0.002766419,0.0009064685,0.001191488,0.006237661],"category_scores_gemma":[0.002039041,0.0004281482,0.001108196,0.001270551,0.003232196,0.007066441,0.004723331,0.001991976,0.001083541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001048596,"about_ca_system_score_gemma":0.0005413038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007143469,"about_ca_topic_score_gemma":0.0006637985,"domain_scores_codex":[0.9988415,0.0003015132,0.000109455,0.0002148129,0.0003795759,0.0001532501],"domain_scores_gemma":[0.9988542,0.0004333853,0.0001273228,0.0001406693,0.0002515054,0.0001930583],"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.00000775042,0.000006782716,0.0002062161,0.00002967967,0.000004757569,0.0001329771,0.0005260871,0.000327755,0.001547719,0.9934391,0.0002558205,0.003515394],"study_design_scores_gemma":[0.000009107958,0.00003148853,0.0004729858,0.0000272524,0.0000166321,0.0002403967,0.0003268466,0.003128843,0.002693648,0.9764619,0.01657102,0.00001974493],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1984584,0.001705785,0.7116604,0.001065686,0.0007359597,0.0001401114,0.0003419602,0.001011455,0.08488016],"genre_scores_gemma":[0.8531638,0.001287677,0.1212115,0.0005344886,0.0002731592,0.0002922727,0.0003396838,0.0002670948,0.02263035],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006237661,"threshold_uncertainty_score":0.02086705,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02164847070948183,"score_gpt":0.2983666937151772,"score_spread":0.2767182230056954,"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."}}