{"id":"W2076730925","doi":"10.1017/s0960129599003023","title":"Unique factorisation lifting functors and categories of linearly-controlled processes","year":2000,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Functor; Mathematics; Factorization; Morphism; Sheaf; Path (computing); Pure mathematics; Concrete category; Category theory; Algebra over a field; Topology (electrical circuits); Computer science; Algorithm; Combinatorics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001793691,0.000611153,0.0004944283,0.001723167,0.001613855,0.002358817,0.001255278,0.001117869,0.005013787],"category_scores_gemma":[0.002830839,0.0003997813,0.001381327,0.001121171,0.006702352,0.007561795,0.004074079,0.001770379,0.0005128165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001230533,"about_ca_system_score_gemma":0.0008817834,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001504611,"about_ca_topic_score_gemma":0.000710362,"domain_scores_codex":[0.9980749,0.0003526825,0.0001252929,0.0005530094,0.0005067733,0.0003873401],"domain_scores_gemma":[0.9978962,0.0007424384,0.0003210302,0.0004366602,0.0003482239,0.0002554375],"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.00001273371,0.00001217412,0.0002556204,0.00003594007,0.00000736942,0.0001509314,0.0007253511,0.000955163,0.001875532,0.9911342,0.000111994,0.004723071],"study_design_scores_gemma":[0.00001127397,0.00005068903,0.0003601307,0.00002761724,0.00001965383,0.0002497387,0.0003661492,0.006280682,0.004464791,0.9794565,0.008683181,0.00002960635],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2169478,0.001263504,0.7493927,0.0006990588,0.0001179994,0.0001411573,0.0002041021,0.0006358741,0.03059782],"genre_scores_gemma":[0.8991868,0.0007308833,0.0890643,0.0001697841,0.0001396627,0.0002505965,0.000213495,0.0001118076,0.01013267],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005013787,"threshold_uncertainty_score":0.01677281,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0198271439006641,"score_gpt":0.2918634737537003,"score_spread":0.2720363298530362,"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."}}