{"id":"W1993757853","doi":"10.1007/s10485-008-9169-9","title":"Lawvere Completion and Separation Via Closure","year":2008,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":39,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Closure (psychology); Monad (category theory); Theory of computation; Completeness (order theory); Combinatorics; Separation (statistics); Set (abstract data type); Discrete mathematics; Pure mathematics; Algebra over a field; Functor; Algorithm; Mathematical analysis; Computer science","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.001756855,0.0006666061,0.001081351,0.002041693,0.002745992,0.004879991,0.001177375,0.001872999,0.00861589],"category_scores_gemma":[0.003208909,0.0005888164,0.001069291,0.001518696,0.0111259,0.0179858,0.003836635,0.005200514,0.0006430577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00205164,"about_ca_system_score_gemma":0.001064425,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001681704,"about_ca_topic_score_gemma":0.001305087,"domain_scores_codex":[0.9988427,0.0003308745,0.00006139358,0.0003100599,0.0002998127,0.0001550721],"domain_scores_gemma":[0.9982826,0.00083358,0.0001420954,0.0002622975,0.0002473767,0.0002320704],"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.000006408619,0.000009337985,0.0000448287,0.000009695607,0.000002251028,0.0000202147,0.0001924908,0.00006023554,0.00009495659,0.9984019,0.0002244622,0.0009333],"study_design_scores_gemma":[0.000008672389,0.000005622978,0.00008100274,0.000003199635,0.000003143124,0.0000395012,0.00007676276,0.0004033013,0.0001201955,0.9969612,0.002292412,0.000005075676],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3128748,0.007939926,0.3426804,0.01681567,0.0009937343,0.000104385,0.0005731391,0.0006248048,0.3173933],"genre_scores_gemma":[0.9592487,0.001542494,0.01197165,0.0005164252,0.0008750394,0.00005770911,0.0002162174,0.00008555222,0.02548623],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00861589,"threshold_uncertainty_score":0.02882302,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03444970641738673,"score_gpt":0.300226245992268,"score_spread":0.2657765395748813,"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."}}