@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Homotopy_hypothesis	foaf:primaryTopic	dbr:Homotopy_hypothesis .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Homotopy_theory	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Alexander_Grothendieck	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Timeline_of_category_theory_and_related_mathematics	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Topos	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
<http://dbpedia.org/resource/N-group_(category_theory)>	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
<http://dbpedia.org/resource/\u221E-topos>	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Fundamental_groupoid	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Category_of_topological_spaces	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
<http://dbpedia.org/resource/\u221E-groupoid>	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Glossary_of_category_theory	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Homotopy_type_theory	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Homotopy_hypothesis	owl:sameAs	<http://rdf.freebase.com/ns/m.0ywyxxp> .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:Homotopy_hypothesis	owl:sameAs	dbpedia-global:edZM .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Homotopy_hypothesis	owl:sameAs	wikidata:Q16879377 ,
		dbr:Homotopy_hypothesis .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Homotopy_hypothesis	rdfs:label	"Homotopy hypothesis"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Homotopy_hypothesis	dct:subject	dbc:Hypotheses ,
		dbc:Conjectures ,
		dbc:Homotopy_theory ,
		dbc:Higher_category_theory .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Homotopy_hypothesis	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Homotopy_hypothesis?oldid=1309634744&ns=0> .
@prefix gold:	<http://purl.org/linguistics/gold/> .
dbr:Homotopy_hypothesis	gold:hypernym	dbr:Spaces ;
	foaf:isPrimaryTopicOf	wikipedia-en:Homotopy_hypothesis ;
	dbo:wikiPageWikiLink	dbc:Higher_category_theory ,
		dbc:Hypotheses ,
		dbc:Conjectures ,
		<http://dbpedia.org/resource/N-group_(category_theory)> ,
		<http://dbpedia.org/resource/\u221E-groupoid> ,
		dbr:Pursuing_Stacks ,
		dbr:Category_theory ,
		dbr:Kan_complex ,
		<http://dbpedia.org/resource/Space_(mathematics)> ,
		dbr:Grothendieck ,
		dbc:Homotopy_theory ;
	dbo:description	"hypothesis that the \u221E-groupoids are equivalent to the topological spaces"@en .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Homotopy_hypothesis	dbp:wikiPageUsesTemplate	dbt:Cite_web ,
		dbt:Short_description ,
		dbt:Reflist ,
		dbt:Math_theorem ,
		dbt:Category_theory ,
		dbt:Cite_conference ,
		dbt:Cn ,
		dbt:Google_books ,
		dbt:Cite_arXiv ,
		dbt:Cite_book ,
		dbt:Topology ,
		dbt:R ,
		dbt:Nlab ,
		dbt:Cite_journal ;
	dbp:name	"Homotopy hypothesis"@en ;
	dbp:mathStatement	"A  n-groupoid is exactly the same as a homotopy n-type."@en ;
	dbo:wikiPageExternalLink	<https://mathoverflow.net/q/234492> ,
		<http://math.ucr.edu/home/baez/homotopy/homotopy.pdf> ;
	dbp:id	"homotopy+hypothesis"@en ;
	dbp:title	"homotopy hypothesis"@en .
dbr:List_of_things_named_after_Alexander_Grothendieck	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Pursuing_Stacks	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .
dbr:Derived_algebraic_geometry	dbo:wikiPageWikiLink	dbr:Homotopy_hypothesis .