About: History of topos theory

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

Aspect of history

Property	Value
dbo:description	ইতিহাসের বিভিন্ন দিক (bn) aspect of history (en) аспект історії (uk)
dbo:wikiPageExternalLink	http://plato.stanford.edu/entries/category-theory/
dbo:wikiPageWikiLink	dbr:Myles_Tierney dbr:Category_theory dbr:Paul_Cohen dbr:Lambda_calculus dbr:Lattice_(order) dbr:Sheaf_(mathematics) dbr:Algebraic_variety dbr:Joachim_Lambek dbr:Intuitionistic_type_theory dbr:Set_theory dbr:Topology dbr:Riemann_surface dbr:Abelian_category dbr:Yoneda_lemma dbc:Topos_theory dbr:Grothendieck_topology dbr:Topos dbr:Type_theory dbr:Heyting_algebra dbr:Alexander_Grothendieck dbr:Jean-Louis_Verdier dbr:Scheme_(mathematics) dbr:Kripke_semantics dbr:Weil_conjectures dbr:Colimit dbr:Denotational_semantics dbr:Boolean_algebra_(structure) dbr:Classifying_topos dbr:Homological_algebra dbr:Constructive_logic dbr:Intuitionistic_logic dbr:Projective_geometry dbr:Topological_space dbr:Extensionality dbr:Forcing_(mathematics) dbr:Computer_science dbr:Module_(mathematics) dbr:David_Hilbert dbr:Syntax dbr:Nicolas_Bourbaki dbr:Continuum_hypothesis dbr:Manifold dbr:Mathematical_logic dbr:Fundamental_group dbr:Functor dbr:Pointless_topology dbr:Homotopy_theory dbr:L._E._J._Brouwer dbr:John_Tate_(mathematician) dbr:Saunders_Mac_Lane dbr:Ramification_(mathematics) dbr:Higher-order_logic dbr:Algebraic_geometry dbr:Grothendieck_topos dbr:Peter_Johnstone_(mathematician) dbr:Compact_space dbr:Zariski_topology dbr:Crystalline_cohomology dbc:History_of_mathematics dbr:Axiom_of_choice dbr:William_Lawvere dbr:Locale_(mathematics) dbr:Kripke–Joyal_semantics dbr:Étale_cohomology dbr:Mathematical dbr:Olivia_Caramello dbr:Tohoku_paper dbr:Sub-object_classifier dbr:Constructivism_(mathematics) dbr:Existential_quantifier dbr:Flat_cohomology dbr:Intuitionistic_theory_of_real_numbers dbr:P._J._Scott dbr:Pro-finite_group dbr:Descent_(category_theory) dbr:Comonad dbr:Cartesian-closed_category dbr:Truth-value
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation_needed dbt:History_of_mathematics dbt:More_footnotes dbt:See
dct:subject	dbc:Topos_theory dbc:History_of_mathematics
rdfs:label	History of topos theory (en) Fondo y génesis de la teoría de los topos (es)
owl:sameAs	wikidata:History of topos theory dbpedia-es:History of topos theory dbpedia-global:History of topos theory dbr:History of topos theory
prov:wasDerivedFrom	wikipedia-en:History_of_topos_theory?oldid=1236835063&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:History_of_topos_theory
is dbo:wikiPageRedirects of	dbr:Background_and_genesis_of_topos_theory dbr:Introduction_to_topos_theory
is dbo:wikiPageWikiLink of	dbr:Topos dbr:Categorical_logic dbr:List_of_mathematics_history_topics dbr:Constructivism_(philosophy_of_mathematics) dbr:William_Lawvere dbr:Glossary_of_category_theory dbr:Background_and_genesis_of_topos_theory dbr:Introduction_to_topos_theory
is foaf:primaryTopic of	wikipedia-en:History_of_topos_theory