About: Codensity monad

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Category_theory dbr:Proper_class dbr:Monad_(category_theory) dbr:Ultrafilter dbr:Morphism dbc:Category_theory dbr:Kan_extension dbr:Measurable_space dbr:Category_of_sets dbr:End_(category_theory) dbr:Double_dual dbr:Injective_cogenerator dbr:Convex_space dbr:Functor dbr:FinSet dbr:Stone_space dbr:Isbell_duality dbr:Giry_monad dbr:Compact_object_(mathematics) dbr:Yoneda_embedding dbr:Presheaf dbr:Ultrafilter_monad dbr:Full_subcategory dbr:Discrete_topological_space dbr:Double_dualization_monad dbr:Algebra_over_a_monad dbr:Integration_(mathematics) dbr:Monadic_functor
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:R dbt:Citation dbt:Expert_needed dbt:Refend dbt:Refbegin dbt:Annotated_link dbt:Use_shortened_footnotes
dct:subject	dbc:Category_theory
rdfs:label	Codensity monad (en)
owl:sameAs	wikidata:Codensity monad dbpedia-global:Codensity monad dbr:Codensity monad
prov:wasDerivedFrom	wikipedia-en:Codensity_monad?oldid=1261158037&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Codensity_monad
is dbo:wikiPageWikiLink of	dbr:Monad_(category_theory) dbr:Kan_extension dbr:Ultrafilter_(set_theory)
is foaf:primaryTopic of	wikipedia-en:Codensity_monad

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International