{"id":"W2164424120","doi":"10.70930/tac/krvwzjde","title":"An embedding theorem for adhesive categories","year":2011,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Topos theory; Functor; Mathematics; Converse; Monomorphism; Pure mathematics; Embedding; Algebra over a field; Computer science; Geometry","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.000776556,0.0004668723,0.0003556154,0.001265579,0.001247764,0.002330969,0.0005601184,0.0008051681,0.00742517],"category_scores_gemma":[0.002170931,0.0003976424,0.0006295908,0.0006884122,0.002429786,0.007377074,0.003493172,0.001867849,0.001231855],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006166967,"about_ca_system_score_gemma":0.0003859449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005558631,"about_ca_topic_score_gemma":0.0003883435,"domain_scores_codex":[0.9993393,0.0001032811,0.00004455728,0.0001618969,0.0002366172,0.0001143487],"domain_scores_gemma":[0.9988104,0.0004744273,0.00007702457,0.0001841473,0.000321947,0.0001319975],"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.00001021368,0.00001076382,0.0002398419,0.00006131212,0.000006518235,0.00009958862,0.0003878802,0.0002919089,0.001300821,0.9827814,0.001632775,0.01317699],"study_design_scores_gemma":[0.00001075338,0.00003638093,0.0006387686,0.00003982348,0.00001850721,0.0005174909,0.0003158523,0.002634687,0.001541108,0.9544053,0.03982589,0.00001549],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1243039,0.002986335,0.664341,0.002848624,0.0006643824,0.00009829714,0.0006865313,0.0008664883,0.2032043],"genre_scores_gemma":[0.8878461,0.001831526,0.06991501,0.00114663,0.0006370292,0.000196892,0.0005909064,0.0002729536,0.03756289],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00742517,"threshold_uncertainty_score":0.02483964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02234600883091126,"score_gpt":0.2715262735897499,"score_spread":0.2491802647588386,"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."}}