CatDat functor property ID

<http://www.wikidata.org/entity/P14631>

wikibase:Property
identifier for the property of functors in CatDat, a category theory database
rdfs:label
"CatDat functor property ID"@en
schema:description
"identifier for the property of functors in CatDat, a category theory database"@en
schema:dateModified "2026-07-21T18:43:25+00:00"^^xsd:dateTime
schema:version 2520738352
wikibase:claim p:P14631
wikibase:directClaim wdt:P14631
wikibase:directClaimNormalized p:direct-normalized/P14631
wikibase:novalue p:novalue/P14631
wikibase:propertyType wikibase:ExternalId
wikibase:qualifier p:qualifier/P14631
wikibase:qualifierValue p:qualifier/value/P14631
wikibase:qualifierValueNormalized p:qualifier/value-normalized/P14631
wikibase:reference p:reference/P14631
wikibase:referenceValue p:reference/value/P14631
wikibase:referenceValueNormalized p:reference/value-normalized/P14631
wikibase:statementProperty p:statement/P14631
wikibase:statementValue p:statement/value/P14631
wikibase:statementValueNormalized p:statement/value-normalized/P14631
wikibase:statements 23
p:P1629 wd:statement/P14631-14DA18DB-17F8-4EA6-93AD-B64A6A5B555C
p:P1630 wd:statement/P14631-E715BF76-8CDC-4EED-85E9-537A9697F9A5
p:P1659 wd:statement/P14631-46D9AF8A-4635-42D4-932D-47E8911D5B53
wd:statement/P14631-87709013-ABBF-4431-B289-DA7E36C25C2C
wd:statement/P14631-CF41E3E3-6BCA-4EDA-9990-941E484E5731
wd:statement/P14631-E7E6911A-788A-4EBF-86A3-C7AB7BE5AEBC
p:P1793 wd:statement/P14631-892E1A8A-6132-4102-A573-BD028725EFB5
p:P1855 wd:statement/P14631-60ce9d13-3983-4148-b755-06acc5104ee8
wd:statement/P14631-02df7076-5eac-40cd-bba6-af4eca5016b4
wd:statement/P14631-ca26a940-b76f-4755-824e-b1d90e3dc0d3
p:P2302 wd:statement/P14631-32A75490-00DF-4E9B-AA26-F8C579C2F048
wd:statement/P14631-67CB6AD9-FF4E-4C18-9C04-12529152C694
wd:statement/P14631-A0A4AE0C-F3AF-45F6-A5D2-66B86FF484AB
wd:statement/P14631-C92D2618-606B-40AC-BBCD-F7FB2FAAFC18
wd:statement/P14631-E6D79575-62D4-435D-A027-5270BF67C295
wd:statement/P14631-F2A6B59E-8673-453A-AA41-89DCE52ADFFB
p:P2429 wd:statement/P14631-D4700D8B-966A-4BD3-A975-24E38732F063
p:P31 wd:statement/P14631-F9A47580-567B-4A7D-A1F6-2A71981FA355
wd:statement/P14631-f323097c-4269-f56b-80cf-c65df718ab4d
p:P3254 wd:statement/P14631-3778C595-CF05-4D66-8230-9FB16624B706
p:P4876 wd:statement/P14631-F03A6746-C36B-42BD-A86E-2FFBBBE0594E
p:P6104 wd:statement/P14631-0B78C540-8596-4D7D-A638-E58D14C59F05
p:P9073 wd:statement/P14631-CD3866B2-4C5F-4EEB-8B01-AB85332BE03A
wdt:P1629 CatDat
wdt:P1630 <https://catdat.app/functor-property/$1>
wdt:P1659 LMFDB 지식 ID
CatDat-identificatiecode voor functor
CatDat-identificatiecode voor categorie
CatDat-identificatiecode voor eigenschapcategorie
wdt:P1793 "[A-Za-z0-9_\-()]+"
wdt:P1855 פונקטור נאמן
တိကျသော ဖန်တာ
funtor representable
wdt:P2302 ограничење једном вредношћу
restricción de formato
不同值約束
주제 유형 제약 조건
torga de tribes d’entidá permitíes
περιορισμός εμβέλειας ιδιότητας
wdt:P2429 očekivanje kompletiranja
wdt:P31 prupietà di Wikidata cûn còdici idintificativu unìvucu
Wikidata property related to category theory
wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/some_properties_for_category_theory>
wdt:P4876 31.0^^xsd:decimal
wdt:P6104 WikiProjekt Matematik
wdt:P9073 CatDat

Inverse relations

[ .. ] → wdt:P1659 → CatDat functor property ID

CatDat category IDwikibase:Property CatDat category property IDwikibase:Property CatDat functor IDwikibase:Property identificador LMFDB de knowlwikibase:Property

[ .. ] → p:statement/P1659 → CatDat functor property ID

<http://www.wikidata.org/entity/statement/P14629-c55456d5-1e7f-4f35-8f3a-26037009bae4>wikibase:BestRank <http://www.wikidata.org/entity/statement/P14630-79d8d4a9-6c86-4b6a-8995-4f2be5d87a84>wikibase:BestRank <http://www.wikidata.org/entity/statement/P14628-681cd5e1-a770-48a7-8288-fd350f0ce4fd>wikibase:BestRank <http://www.wikidata.org/entity/statement/P12987-89dcdc72-e4df-49e4-8852-1ffc228b4d0a>wikibase:BestRank

[ .. ] → wdt:P1687 → CatDat functor property ID

CatDat

[ .. ] → p:statement/P1687 → CatDat functor property ID

<http://www.wikidata.org/entity/statement/Q140248105-3c7b9540-d4d0-46f5-a08d-2fc5019e2ce6>wikibase:BestRank
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql