@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ontolex: <http://www.w3.org/ns/lemon/ontolex#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <http://schema.org/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix data: <https://www.wikidata.org/wiki/Special:EntityData/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdref: <http://www.wikidata.org/reference/> .
@prefix wdv: <http://www.wikidata.org/value/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix p: <http://www.wikidata.org/prop/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@prefix psn: <http://www.wikidata.org/prop/statement/value-normalized/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pqn: <http://www.wikidata.org/prop/qualifier/value-normalized/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix prn: <http://www.wikidata.org/prop/reference/value-normalized/> .
@prefix wdno: <http://www.wikidata.org/prop/novalue/> .

data:P14622 a schema:Dataset ;
	schema:about wd:P14622 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2520737466"^^xsd:integer ;
	schema:dateModified "2026-07-21T18:40:03Z"^^xsd:dateTime ;
	wikibase:statements "11"^^xsd:integer .

wd:P14622 a wikibase:Property ;
	wdt:P31 wd:Q140645836 ;
	wdt:P6104 wd:Q8487137 ;
	wdt:P1629 wd:Q140247451 ;
	wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/some_properties_for_category_theory> ;
	wdt:P2302 wd:Q53869507,
		wd:Q52004125,
		wd:Q19474404,
		wd:Q21503250 ;
	wdt:P1855 wd:Q2000555,
		wd:Q1956793,
		wd:Q2518298 ;
	p:P31 wds:P14622-CEBDB86A-3D49-4BCB-AC8B-69D2ADF59D02 .

wds:P14622-CEBDB86A-3D49-4BCB-AC8B-69D2ADF59D02 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P31 wd:Q140645836 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P6104 wds:P14622-1F03AB3C-FF1C-4E3B-AB20-C7FD1A6C1153 .

wds:P14622-1F03AB3C-FF1C-4E3B-AB20-C7FD1A6C1153 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6104 wd:Q8487137 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P1629 wds:P14622-802829B9-4298-4574-BDC9-CCE866471C6A .

wds:P14622-802829B9-4298-4574-BDC9-CCE866471C6A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1629 wd:Q140247451 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P3254 wds:P14622-7974398A-F2F6-4715-B8F4-A56FC09BDC6C .

wds:P14622-7974398A-F2F6-4715-B8F4-A56FC09BDC6C a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/some_properties_for_category_theory> .

wd:P14622 p:P2302 wds:P14622-3C24E4DE-A7F7-4F20-A8F7-2AA44950B36E .

wds:P14622-3C24E4DE-A7F7-4F20-A8F7-2AA44950B36E a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2302 wd:Q53869507 ;
	pq:P5314 wd:Q54828448 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P2302 wds:P14622-54B5251B-E3B0-4588-BE8C-ED7921EE360B .

wds:P14622-54B5251B-E3B0-4588-BE8C-ED7921EE360B a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2302 wd:Q52004125 ;
	pq:P2305 wd:Q29934200 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P2302 wds:P14622-47360604-78FD-4582-AF8A-1F13D9CEFCFA .

wds:P14622-47360604-78FD-4582-AF8A-1F13D9CEFCFA a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2302 wd:Q19474404 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P2302 wds:P14622-F58934EA-B35B-432F-BA58-0AD5FC1035CF .

wds:P14622-F58934EA-B35B-432F-BA58-0AD5FC1035CF a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2302 wd:Q21503250 ;
	pq:P2308 wd:Q719395,
		wd:Q1945014,
		wd:Q7977957,
		wd:Q5379515 ;
	pq:P2309 wd:Q21503252 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P1855 wds:P14622-62e1eee1-5728-4617-b934-8827e252d93f .

wds:P14622-62e1eee1-5728-4617-b934-8827e252d93f a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1855 wd:Q2000555 ;
	pq:P14622 wd:Q980509 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P1855 wds:P14622-bc100ae3-2b51-4069-ba04-a246ea985ace .

wds:P14622-bc100ae3-2b51-4069-ba04-a246ea985ace a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1855 wd:Q1956793 ;
	pq:P14622 wd:Q140247302 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 p:P1855 wds:P14622-974668ef-a42f-47ac-a9e0-78d28168245c .

wds:P14622-974668ef-a42f-47ac-a9e0-78d28168245c a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1855 wd:Q2518298 ;
	pq:P14622 wd:Q182003 ;
	prov:wasDerivedFrom wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 .

wd:P14622 rdfs:label "regular monomorphisms"@en ;
	skos:prefLabel "regular monomorphisms"@en ;
	schema:name "regular monomorphisms"@en ;
	rdfs:label "monomorfismes regulars"@ca ;
	skos:prefLabel "monomorfismes regulars"@ca ;
	schema:name "monomorfismes regulars"@ca ;
	rdfs:label "정칙 단사 사상"@ko ;
	skos:prefLabel "정칙 단사 사상"@ko ;
	schema:name "정칙 단사 사상"@ko ;
	rdfs:label "reguliere monomorfismes"@nl ;
	skos:prefLabel "reguliere monomorfismes"@nl ;
	schema:name "reguliere monomorfismes"@nl ;
	rdfs:label "regulární monomorfismy"@cs ;
	skos:prefLabel "regulární monomorfismy"@cs ;
	schema:name "regulární monomorfismy"@cs ;
	schema:description "the precise regular monomorphisms of the category (category theory)"@en,
		"이 범주의 정확한 정칙 단사 사상"@ko,
		"třída, která tvoří regulární monomorfismy v této kategorii (ve smyslu teorie kategorií)"@cs ;
	skos:altLabel "regulární monomorfizmy"@cs ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P14622 ;
	wikibase:claim p:P14622 ;
	wikibase:statementProperty ps:P14622 ;
	wikibase:statementValue psv:P14622 ;
	wikibase:qualifier pq:P14622 ;
	wikibase:qualifierValue pqv:P14622 ;
	wikibase:reference pr:P14622 ;
	wikibase:referenceValue prv:P14622 ;
	wikibase:novalue wdno:P14622 .

p:P14622 a owl:ObjectProperty .

psv:P14622 a owl:ObjectProperty .

pqv:P14622 a owl:ObjectProperty .

prv:P14622 a owl:ObjectProperty .

wdt:P14622 a owl:ObjectProperty .

ps:P14622 a owl:ObjectProperty .

pq:P14622 a owl:ObjectProperty .

pr:P14622 a owl:ObjectProperty .

wdno:P14622 a owl:Class ;
	owl:complementOf _:4056dde81eb0700db1129bc82fc560e5 .

_:4056dde81eb0700db1129bc82fc560e5 a owl:Restriction ;
	owl:onProperty wdt:P14622 ;
	owl:someValuesFrom owl:Thing .

wd:Q140645836 a wikibase:Item ;
	rdfs:label "Wikidata property related to category theory"@en ;
	skos:prefLabel "Wikidata property related to category theory"@en ;
	schema:name "Wikidata property related to category theory"@en ;
	schema:description "type of Wikidata property"@en .

wd:P31 a wikibase:Property ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	schema:description "type to which this subject corresponds/belongs. Different from P279 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P31 ;
	wikibase:claim p:P31 ;
	wikibase:statementProperty ps:P31 ;
	wikibase:statementValue psv:P31 ;
	wikibase:qualifier pq:P31 ;
	wikibase:qualifierValue pqv:P31 ;
	wikibase:reference pr:P31 ;
	wikibase:referenceValue prv:P31 ;
	wikibase:novalue wdno:P31 .

p:P31 a owl:ObjectProperty .

psv:P31 a owl:ObjectProperty .

pqv:P31 a owl:ObjectProperty .

prv:P31 a owl:ObjectProperty .

wdt:P31 a owl:ObjectProperty .

ps:P31 a owl:ObjectProperty .

pq:P31 a owl:ObjectProperty .

pr:P31 a owl:ObjectProperty .

wdno:P31 a owl:Class ;
	owl:complementOf _:0b8bd71b926a65ca3fa72e5d9103e4d6 .

_:0b8bd71b926a65ca3fa72e5d9103e4d6 a owl:Restriction ;
	owl:onProperty wdt:P31 ;
	owl:someValuesFrom owl:Thing .

wd:Q8487137 a wikibase:Item ;
	rdfs:label "WikiProject Mathematics"@en ;
	skos:prefLabel "WikiProject Mathematics"@en ;
	schema:name "WikiProject Mathematics"@en ;
	schema:description "Wikimedia subject-area collaboration"@en .

wd:P6104 a wikibase:Property ;
	rdfs:label "maintained by WikiProject"@en ;
	skos:prefLabel "maintained by WikiProject"@en ;
	schema:name "maintained by WikiProject"@en ;
	schema:description "WikiProject that maintains this property, item, or linked pages. If the WikiProject is hosted outside of Wikidata, identify the hosting project using the qualifier \"part of\" (P361)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P6104 ;
	wikibase:claim p:P6104 ;
	wikibase:statementProperty ps:P6104 ;
	wikibase:statementValue psv:P6104 ;
	wikibase:qualifier pq:P6104 ;
	wikibase:qualifierValue pqv:P6104 ;
	wikibase:reference pr:P6104 ;
	wikibase:referenceValue prv:P6104 ;
	wikibase:novalue wdno:P6104 .

p:P6104 a owl:ObjectProperty .

psv:P6104 a owl:ObjectProperty .

pqv:P6104 a owl:ObjectProperty .

prv:P6104 a owl:ObjectProperty .

wdt:P6104 a owl:ObjectProperty .

ps:P6104 a owl:ObjectProperty .

pq:P6104 a owl:ObjectProperty .

pr:P6104 a owl:ObjectProperty .

wdno:P6104 a owl:Class ;
	owl:complementOf _:8ed522f108b0fd974fa8303edd0ec44c .

_:8ed522f108b0fd974fa8303edd0ec44c a owl:Restriction ;
	owl:onProperty wdt:P6104 ;
	owl:someValuesFrom owl:Thing .

wd:Q140247451 a wikibase:Item ;
	rdfs:label "regular monomorphism"@en ;
	skos:prefLabel "regular monomorphism"@en ;
	schema:name "regular monomorphism"@en ;
	schema:description "monomorphism that is an equalizer"@en .

wd:P1629 a wikibase:Property ;
	rdfs:label "Wikidata item of this property"@en ;
	skos:prefLabel "Wikidata item of this property"@en ;
	schema:name "Wikidata item of this property"@en ;
	schema:description "item corresponding to the concept represented by the property"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1629 ;
	wikibase:claim p:P1629 ;
	wikibase:statementProperty ps:P1629 ;
	wikibase:statementValue psv:P1629 ;
	wikibase:qualifier pq:P1629 ;
	wikibase:qualifierValue pqv:P1629 ;
	wikibase:reference pr:P1629 ;
	wikibase:referenceValue prv:P1629 ;
	wikibase:novalue wdno:P1629 .

p:P1629 a owl:ObjectProperty .

psv:P1629 a owl:ObjectProperty .

pqv:P1629 a owl:ObjectProperty .

prv:P1629 a owl:ObjectProperty .

wdt:P1629 a owl:ObjectProperty .

ps:P1629 a owl:ObjectProperty .

pq:P1629 a owl:ObjectProperty .

pr:P1629 a owl:ObjectProperty .

wdno:P1629 a owl:Class ;
	owl:complementOf _:38604192536ad0b2de7966f3f556035a .

_:38604192536ad0b2de7966f3f556035a a owl:Restriction ;
	owl:onProperty wdt:P1629 ;
	owl:someValuesFrom owl:Thing .

wd:P3254 a wikibase:Property ;
	rdfs:label "property proposal discussion"@en ;
	skos:prefLabel "property proposal discussion"@en ;
	schema:name "property proposal discussion"@en ;
	schema:description "URL of the page (or page section) on which the creation of the property was discussed"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P3254 ;
	wikibase:claim p:P3254 ;
	wikibase:statementProperty ps:P3254 ;
	wikibase:statementValue psv:P3254 ;
	wikibase:qualifier pq:P3254 ;
	wikibase:qualifierValue pqv:P3254 ;
	wikibase:reference pr:P3254 ;
	wikibase:referenceValue prv:P3254 ;
	wikibase:novalue wdno:P3254 .

p:P3254 a owl:ObjectProperty .

psv:P3254 a owl:ObjectProperty .

pqv:P3254 a owl:ObjectProperty .

prv:P3254 a owl:ObjectProperty .

wdt:P3254 a owl:ObjectProperty .

ps:P3254 a owl:ObjectProperty .

pq:P3254 a owl:ObjectProperty .

pr:P3254 a owl:ObjectProperty .

wdno:P3254 a owl:Class ;
	owl:complementOf _:4e19f0f6602874b094f5a44fe32411dd .

_:4e19f0f6602874b094f5a44fe32411dd a owl:Restriction ;
	owl:onProperty wdt:P3254 ;
	owl:someValuesFrom owl:Thing .

wd:Q53869507 a wikibase:Item ;
	rdfs:label "property scope constraint"@en ;
	skos:prefLabel "property scope constraint"@en ;
	schema:name "property scope constraint"@en ;
	schema:description "constraint to define the scope of the property (as main property, as qualifier, as reference, or combination). Qualify with \"property scope\" (P5314)"@en .

wd:P2302 a wikibase:Property ;
	rdfs:label "property constraint"@en ;
	skos:prefLabel "property constraint"@en ;
	schema:name "property constraint"@en ;
	schema:description "constraint applicable to a Wikidata property"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P2302 ;
	wikibase:claim p:P2302 ;
	wikibase:statementProperty ps:P2302 ;
	wikibase:statementValue psv:P2302 ;
	wikibase:qualifier pq:P2302 ;
	wikibase:qualifierValue pqv:P2302 ;
	wikibase:reference pr:P2302 ;
	wikibase:referenceValue prv:P2302 ;
	wikibase:novalue wdno:P2302 .

p:P2302 a owl:ObjectProperty .

psv:P2302 a owl:ObjectProperty .

pqv:P2302 a owl:ObjectProperty .

prv:P2302 a owl:ObjectProperty .

wdt:P2302 a owl:ObjectProperty .

ps:P2302 a owl:ObjectProperty .

pq:P2302 a owl:ObjectProperty .

pr:P2302 a owl:ObjectProperty .

wdno:P2302 a owl:Class ;
	owl:complementOf _:1d7b2aa8714addd4582f2c663eed7695 .

_:1d7b2aa8714addd4582f2c663eed7695 a owl:Restriction ;
	owl:onProperty wdt:P2302 ;
	owl:someValuesFrom owl:Thing .

wd:Q52004125 a wikibase:Item ;
	rdfs:label "allowed-entity-types constraint"@en ;
	skos:prefLabel "allowed-entity-types constraint"@en ;
	schema:name "allowed-entity-types constraint"@en ;
	schema:description "type of constraint for Wikidata properties: used to specify that a property may only be used on a certain listed entity type: Wikibase item, Wikibase property, lexeme, form, sense, Wikibase MediaInfo"@en .

wd:Q19474404 a wikibase:Item ;
	rdfs:label "single-value constraint"@en ;
	skos:prefLabel "single-value constraint"@en ;
	schema:name "single-value constraint"@en ;
	schema:description "type of constraint for Wikidata properties: used to specify that this property generally contains a single value per item"@en .

wd:Q21503250 a wikibase:Item ;
	rdfs:label "subject type constraint"@en ;
	skos:prefLabel "subject type constraint"@en ;
	schema:name "subject type constraint"@en ;
	schema:description "type of constraint for Wikidata properties: used to specify that the item described by such properties should be a subclass or instance of a given type"@en .

wd:Q2000555 a wikibase:Item ;
	rdfs:label "category of topological spaces"@en ;
	skos:prefLabel "category of topological spaces"@en ;
	schema:name "category of topological spaces"@en ;
	schema:description "category whose objects are topological spaces and whose morphisms are continuous maps"@en .

wd:P1855 a wikibase:Property ;
	rdfs:label "Wikidata property example"@en ;
	skos:prefLabel "Wikidata property example"@en ;
	schema:name "Wikidata property example"@en ;
	schema:description "example where this Wikidata property is used; target item is one that would use this property, with qualifier the property being described given the associated value"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P1855 ;
	wikibase:claim p:P1855 ;
	wikibase:statementProperty ps:P1855 ;
	wikibase:statementValue psv:P1855 ;
	wikibase:qualifier pq:P1855 ;
	wikibase:qualifierValue pqv:P1855 ;
	wikibase:reference pr:P1855 ;
	wikibase:referenceValue prv:P1855 ;
	wikibase:novalue wdno:P1855 .

p:P1855 a owl:ObjectProperty .

psv:P1855 a owl:ObjectProperty .

pqv:P1855 a owl:ObjectProperty .

prv:P1855 a owl:ObjectProperty .

wdt:P1855 a owl:ObjectProperty .

ps:P1855 a owl:ObjectProperty .

pq:P1855 a owl:ObjectProperty .

pr:P1855 a owl:ObjectProperty .

wdno:P1855 a owl:Class ;
	owl:complementOf _:10181e30a4678fbb6b833dfa6bcddc2b .

_:10181e30a4678fbb6b833dfa6bcddc2b a owl:Restriction ;
	owl:onProperty wdt:P1855 ;
	owl:someValuesFrom owl:Thing .

wd:Q1956793 a wikibase:Item ;
	rdfs:label "category of abelian groups"@en ;
	skos:prefLabel "category of abelian groups"@en ;
	schema:name "category of abelian groups"@en ;
	schema:description "category in mathematics"@en .

wd:Q2518298 a wikibase:Item ;
	rdfs:label "category of sets"@en ;
	skos:prefLabel "category of sets"@en ;
	schema:name "category of sets"@en ;
	schema:description "category whose objects are the sets and morphisms the functions"@en .

wd:P4656 a wikibase:Property ;
	rdfs:label "Wikimedia import URL"@en ;
	skos:prefLabel "Wikimedia import URL"@en ;
	schema:name "Wikimedia import URL"@en ;
	schema:description "URL of source to indicate the page or revision of an import source from another Wikimedia project (except actual references, such as Wikisource source texts). Use instead of \"reference URL\" (P854). Permalinks are preferred."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P4656 ;
	wikibase:claim p:P4656 ;
	wikibase:statementProperty ps:P4656 ;
	wikibase:statementValue psv:P4656 ;
	wikibase:qualifier pq:P4656 ;
	wikibase:qualifierValue pqv:P4656 ;
	wikibase:reference pr:P4656 ;
	wikibase:referenceValue prv:P4656 ;
	wikibase:novalue wdno:P4656 .

p:P4656 a owl:ObjectProperty .

psv:P4656 a owl:ObjectProperty .

pqv:P4656 a owl:ObjectProperty .

prv:P4656 a owl:ObjectProperty .

wdt:P4656 a owl:ObjectProperty .

ps:P4656 a owl:ObjectProperty .

pq:P4656 a owl:ObjectProperty .

pr:P4656 a owl:ObjectProperty .

wdno:P4656 a owl:Class ;
	owl:complementOf _:d0914856b623ca1dd09b1f31c8eea5fe .

_:d0914856b623ca1dd09b1f31c8eea5fe a owl:Restriction ;
	owl:onProperty wdt:P4656 ;
	owl:someValuesFrom owl:Thing .

wd:Q54828448 a wikibase:Item ;
	rdfs:label "as main value"@en ;
	skos:prefLabel "as main value"@en ;
	schema:name "as main value"@en ;
	schema:description "property scope type"@en .

wd:P5314 a wikibase:Property ;
	rdfs:label "property scope"@en ;
	skos:prefLabel "property scope"@en ;
	schema:name "property scope"@en ;
	schema:description "constraint system qualifier to define the scope of a property"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P5314 ;
	wikibase:claim p:P5314 ;
	wikibase:statementProperty ps:P5314 ;
	wikibase:statementValue psv:P5314 ;
	wikibase:qualifier pq:P5314 ;
	wikibase:qualifierValue pqv:P5314 ;
	wikibase:reference pr:P5314 ;
	wikibase:referenceValue prv:P5314 ;
	wikibase:novalue wdno:P5314 .

p:P5314 a owl:ObjectProperty .

psv:P5314 a owl:ObjectProperty .

pqv:P5314 a owl:ObjectProperty .

prv:P5314 a owl:ObjectProperty .

wdt:P5314 a owl:ObjectProperty .

ps:P5314 a owl:ObjectProperty .

pq:P5314 a owl:ObjectProperty .

pr:P5314 a owl:ObjectProperty .

wdno:P5314 a owl:Class ;
	owl:complementOf _:dbebc3f3ba4d0493247301fff3c12336 .

_:dbebc3f3ba4d0493247301fff3c12336 a owl:Restriction ;
	owl:onProperty wdt:P5314 ;
	owl:someValuesFrom owl:Thing .

wd:Q29934200 a wikibase:Item ;
	rdfs:label "Wikibase item"@en ;
	skos:prefLabel "Wikibase item"@en ;
	schema:name "Wikibase item"@en ;
	schema:description "entity type for Wikibase items"@en .

wd:P2305 a wikibase:Property ;
	rdfs:label "item of property constraint"@en ;
	skos:prefLabel "item of property constraint"@en ;
	schema:name "item of property constraint"@en ;
	schema:description "qualifier to define a property constraint in combination with \"property constraint\" (P2302)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P2305 ;
	wikibase:claim p:P2305 ;
	wikibase:statementProperty ps:P2305 ;
	wikibase:statementValue psv:P2305 ;
	wikibase:qualifier pq:P2305 ;
	wikibase:qualifierValue pqv:P2305 ;
	wikibase:reference pr:P2305 ;
	wikibase:referenceValue prv:P2305 ;
	wikibase:novalue wdno:P2305 .

p:P2305 a owl:ObjectProperty .

psv:P2305 a owl:ObjectProperty .

pqv:P2305 a owl:ObjectProperty .

prv:P2305 a owl:ObjectProperty .

wdt:P2305 a owl:ObjectProperty .

ps:P2305 a owl:ObjectProperty .

pq:P2305 a owl:ObjectProperty .

pr:P2305 a owl:ObjectProperty .

wdno:P2305 a owl:Class ;
	owl:complementOf _:676648401b06ccfe4ac552ee17a794a3 .

_:676648401b06ccfe4ac552ee17a794a3 a owl:Restriction ;
	owl:onProperty wdt:P2305 ;
	owl:someValuesFrom owl:Thing .

wd:Q719395 a wikibase:Item ;
	rdfs:label "category"@en ;
	skos:prefLabel "category"@en ;
	schema:name "category"@en ;
	schema:description "algebraic structure of objects and morphisms between objects, which can be associatively composed if the (co)domains agree"@en .

wd:P2308 a wikibase:Property ;
	rdfs:label "class"@en ;
	skos:prefLabel "class"@en ;
	schema:name "class"@en ;
	schema:description "qualifier to define a property constraint in combination with \"property constraint\" (P2302)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P2308 ;
	wikibase:claim p:P2308 ;
	wikibase:statementProperty ps:P2308 ;
	wikibase:statementValue psv:P2308 ;
	wikibase:qualifier pq:P2308 ;
	wikibase:qualifierValue pqv:P2308 ;
	wikibase:reference pr:P2308 ;
	wikibase:referenceValue prv:P2308 ;
	wikibase:novalue wdno:P2308 .

p:P2308 a owl:ObjectProperty .

psv:P2308 a owl:ObjectProperty .

pqv:P2308 a owl:ObjectProperty .

prv:P2308 a owl:ObjectProperty .

wdt:P2308 a owl:ObjectProperty .

ps:P2308 a owl:ObjectProperty .

pq:P2308 a owl:ObjectProperty .

pr:P2308 a owl:ObjectProperty .

wdno:P2308 a owl:Class ;
	owl:complementOf _:b67ddaeee283698897a85cb818b7a439 .

_:b67ddaeee283698897a85cb818b7a439 a owl:Restriction ;
	owl:onProperty wdt:P2308 ;
	owl:someValuesFrom owl:Thing .

wd:Q1945014 a wikibase:Item ;
	rdfs:label "monoidal category"@en ;
	skos:prefLabel "monoidal category"@en ;
	schema:name "monoidal category"@en ;
	schema:description "category admitting tensor products"@en .

wd:Q7977957 a wikibase:Item ;
	rdfs:label "weak n-category"@en ;
	skos:prefLabel "weak n-category"@en ;
	schema:name "weak n-category"@en ;
	schema:description "generalization of the strict notion of n-category"@en .

wd:Q5379515 a wikibase:Item ;
	rdfs:label "enriched category"@en ;
	skos:prefLabel "enriched category"@en ;
	schema:name "enriched category"@en ;
	schema:description "category whose hom sets have additional structure"@en .

wd:Q21503252 a wikibase:Item ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	schema:description "relation of type constraints"@en .

wd:P2309 a wikibase:Property ;
	rdfs:label "relation"@en ;
	skos:prefLabel "relation"@en ;
	schema:name "relation"@en ;
	schema:description "qualifier to define a property constraint in combination with P2302. Possible values are: \"instance of\", \"subclass of\" or \"instance or subclass of\". The qualifier to use with the property \"relative\" is \"type of kinship\" (P1039), not this"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P2309 ;
	wikibase:claim p:P2309 ;
	wikibase:statementProperty ps:P2309 ;
	wikibase:statementValue psv:P2309 ;
	wikibase:qualifier pq:P2309 ;
	wikibase:qualifierValue pqv:P2309 ;
	wikibase:reference pr:P2309 ;
	wikibase:referenceValue prv:P2309 ;
	wikibase:novalue wdno:P2309 .

p:P2309 a owl:ObjectProperty .

psv:P2309 a owl:ObjectProperty .

pqv:P2309 a owl:ObjectProperty .

prv:P2309 a owl:ObjectProperty .

wdt:P2309 a owl:ObjectProperty .

ps:P2309 a owl:ObjectProperty .

pq:P2309 a owl:ObjectProperty .

pr:P2309 a owl:ObjectProperty .

wdno:P2309 a owl:Class ;
	owl:complementOf _:f804f18840c8566390255d23073053b5 .

_:f804f18840c8566390255d23073053b5 a owl:Restriction ;
	owl:onProperty wdt:P2309 ;
	owl:someValuesFrom owl:Thing .

wd:Q980509 a wikibase:Item ;
	rdfs:label "embedding"@en ;
	skos:prefLabel "embedding"@en ;
	schema:name "embedding"@en ;
	schema:description "injective map that is structure-preserving in both directions"@en .

wd:Q140247302 a wikibase:Item ;
	rdfs:label "injective homomorphism"@en ;
	skos:prefLabel "injective homomorphism"@en ;
	schema:name "injective homomorphism"@en ;
	schema:description "one-to-one structure-preserving map"@en .

wd:Q182003 a wikibase:Item ;
	rdfs:label "injection"@en ;
	skos:prefLabel "injection"@en ;
	schema:name "injection"@en ;
	schema:description "mathematical function that preserves distinctness"@en .

wdref:fd5fca35f777d58ca09a0e89c3677e9fc0792656 a wikibase:Reference ;
	pr:P4656 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/some_properties_for_category_theory> .