{"id":"W1501119298","doi":"10.70930/tac/4imw7mvg","title":"The span construction","year":2010,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Macquarie University","keywords":"Mathematics; Functor; Span (engineering); Adjoint functors; Pure mathematics; Concrete category; Property (philosophy); Closed category; Functor category; Arrow; Generalization; Computer science; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005411367,0.00005276619,0.00008422317,0.00001803388,0.0002988741,0.000009473715,0.0001288078,0.00006674074,0.0000670244],"category_scores_gemma":[0.0001504557,0.00003555618,0.00001888559,0.00006203607,0.001552006,0.00002871063,0.00002926359,0.0001340286,0.000005715808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001233425,"about_ca_system_score_gemma":0.00001902539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002454674,"about_ca_topic_score_gemma":0.00002000633,"domain_scores_codex":[0.9996055,0.00006058409,0.0001367827,0.00007941249,0.00003644547,0.00008128282],"domain_scores_gemma":[0.9984878,0.00109739,0.00007919293,0.0002698705,0.00004463981,0.00002107711],"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.0000175942,0.00001281714,0.0001761335,0.000007704678,0.0000128058,6.060503e-8,0.0001846108,2.018562e-8,0.001103698,0.9696703,0.00004406716,0.02877021],"study_design_scores_gemma":[0.00006049119,0.00001252373,0.000162176,6.359264e-7,0.00001913956,0.00003994133,0.0008840917,7.44643e-7,0.01010677,0.9736922,0.0149835,0.00003781405],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9251274,0.0002035331,0.04563915,0.001138079,0.0002280887,0.000378732,0.000007392611,0.00008414733,0.02719351],"genre_scores_gemma":[0.9976352,0.00003819987,0.001411599,0.00001872156,0.00007807683,0.0001098478,0.00000147352,0.0000045531,0.0007023494],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07250782,"threshold_uncertainty_score":0.5718431,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009139324794342445,"score_gpt":0.2757518704539239,"score_spread":0.2666125456595815,"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."}}