{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006586107,0.0001586591,0.0004508334,0.000125884,0.000117392,0.00005301757,0.000363175,0.00009354138,0.0002896957],"category_scores_gemma":[0.0009789388,0.000113059,0.00003160757,0.0004406163,0.001023957,0.0001775747,0.0001002747,0.0001628682,0.000002484235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002484416,"about_ca_system_score_gemma":0.0001159412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001249584,"about_ca_topic_score_gemma":0.00001186252,"domain_scores_codex":[0.9985467,0.00007946689,0.0004994746,0.0003092374,0.0002774294,0.0002876812],"domain_scores_gemma":[0.9982719,0.001186292,0.0001271494,0.0002446468,0.00009807957,0.00007195497],"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.0001533363,0.0002040869,0.008212816,0.0007735479,0.00003307962,0.00002107522,0.01300245,0.000159945,0.0004450151,0.8992075,0.00002776745,0.07775933],"study_design_scores_gemma":[0.0006808579,0.00007966389,0.002419252,0.00004412618,0.0000115854,0.00005066746,0.00004753476,0.007884642,0.002371399,0.9862673,0.00001296648,0.0001299645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9302258,0.00005289456,0.06848446,0.0001316867,0.0001078172,0.0002802205,0.000001283837,0.00004560905,0.0006702492],"genre_scores_gemma":[0.9518738,0.000007006555,0.04795436,0.00005631359,0.00005919769,0.00001332408,4.145325e-7,0.000007295619,0.00002833094],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.08705979,"threshold_uncertainty_score":0.4610412,"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."}}