@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Categorical	dbpprop:disambiguates	dbpedia:Categorical_logic .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns3:	<http://dbpedia.org/class/yago/> .
dbpedia:Categorical_logic	rdf:type	ns3:SystemsOfFormalLogic .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Categorical_logic	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000004164b5> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns6:	<http://en.wikipedia.org/wiki/> .
dbpedia:Categorical_logic	foaf:page	ns6:Categorical_logic ;
	dbpprop:reference	<http://www.andrew.cmu.edu/user/awodey/catlog/> ,
		<http://www.andrew.cmu.edu/user/awodey/> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Categorical_logic	rdfs:label	"Categorical logic"@en ;
	dbpprop:abstract	"Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970."@en ;
	rdfs:comment	"Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Categorical_logic	skos:subject	ns9:Systems_of_formal_logic ,
		ns9:Categorical_logic ,
		ns9:Theoretical_computer_science .
@prefix ns10:	<http://dbpedia.org/resource/Template:> .
dbpedia:Categorical_logic	dbpprop:wikiPageUsesTemplate	ns10:otheruses4 ;
	dbpprop:otheruses4Property	"Term logic"@en ,
		"mathematical logic in the context of category theory"@en ,
		"Aristotle's system of logic"@en .
@prefix ns11:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Categorical_logic	dbpprop:hasPhotoCollection	ns11:Categorical_logic .
dbpedia:Internal_language	dbpprop:redirect	dbpedia:Categorical_logic .
dbpedia:Categorical_semantics	dbpprop:redirect	dbpedia:Categorical_logic .
dbpedia:Term-model_construction	dbpprop:redirect	dbpedia:Categorical_logic .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Categorical_logic	owl:sameAs	dbpedia:Categorical_logic .