CatDat functor ID

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

identifier for the functor in CatDat, a category theory database

rdfs:label	"CatDat functor ID"@en "identificador CatDat de functor"@ca "CatDat 함자 ID"@ko "CatDat-identificatiecode voor functor"@nl
schema:description	"identifier for the functor in CatDat, a category theory database"@en "범주론 데이터베이스 CatDat 속, 이 함자의 식별자"@ko
schema:dateModified	"2026-07-21T18:43:10+00:00"^^xsd:dateTime
schema:version	2520738289
wikibase:claim	p:P14629
wikibase:directClaim	wdt:P14629
wikibase:directClaimNormalized	p:direct-normalized/P14629
wikibase:novalue	p:novalue/P14629
wikibase:propertyType	wikibase:ExternalId
wikibase:qualifier	p:qualifier/P14629
wikibase:qualifierValue	p:qualifier/value/P14629
wikibase:qualifierValueNormalized	p:qualifier/value-normalized/P14629
wikibase:reference	p:reference/P14629
wikibase:referenceValue	p:reference/value/P14629
wikibase:referenceValueNormalized	p:reference/value-normalized/P14629
wikibase:statementProperty	p:statement/P14629
wikibase:statementValue	p:statement/value/P14629
wikibase:statementValueNormalized	p:statement/value-normalized/P14629
wikibase:statements	23
p:P1629	wd:statement/P14629-EE4ADE75-A3E2-47D3-8CAB-985AAFA904E9
p:P1630	wd:statement/P14629-84AD82E3-F595-46A3-B25F-27E9722F2E0D
p:P1659	wd:statement/P14629-1577FC87-0C3A-4B38-8E0A-79AF93DFF0CD
	wd:statement/P14629-B67141D5-2942-4346-9FBB-5430A0ED6342
	wd:statement/P14629-a1236247-6940-4e3c-aafd-691528682781
	wd:statement/P14629-c55456d5-1e7f-4f35-8f3a-26037009bae4
p:P1793	wd:statement/P14629-202C48E7-CE46-4329-8AA4-A895B50D26B1
p:P1855	wd:statement/P14629-dc6980ee-48c5-4887-be95-5b591c89d791
	wd:statement/P14629-a5438bd4-c5ec-4c4a-95b9-c343a808c7db
	wd:statement/P14629-1d3835fa-360a-40c2-9f82-ab6a776ba334
p:P2302	wd:statement/P14629-4652AB2A-0BE3-445A-8427-304B0D117F64
	wd:statement/P14629-7003DF85-4995-44BD-8B20-C5E7CA3DD46D
	wd:statement/P14629-B146CDE6-3142-4C69-BC00-6C0B86E6B988
	wd:statement/P14629-BB5D7DB0-E929-4800-BB40-5D119BC860BB
	wd:statement/P14629-E4D16CC7-FC29-4BDE-A956-E0BA437E1870
	wd:statement/P14629-F9A06B7C-B2C2-4B94-B1B5-80A966012C65
p:P2429	wd:statement/P14629-7E5A2BD2-A1E0-4A13-A20A-F9F86D8A7A31
p:P31	wd:statement/P14629-12A72E68-8FAC-47D9-AC42-D26D83008F51
	wd:statement/P14629-0e7a4239-4987-49af-3a1e-58fdb96633ff
p:P3254	wd:statement/P14629-72C824F2-1162-4471-A549-8009B5FDB33D
p:P4876	wd:statement/P14629-7B51998B-4C8C-4EA1-B65B-5FEDD48422D2
p:P6104	wd:statement/P14629-EF417C1D-1D8A-48CA-B2C6-C0FFF7E00D10
p:P9073	wd:statement/P14629-440D777D-AECC-4F1C-8174-B99847744F59
wdt:P1629	CatDat
wdt:P1630	<https://catdat.app/functor/$1>
wdt:P1659	LMFDB 지식 ID
	CatDat-identificatiecode voor categorie
	CatDat-identificatiecode voor functoreigenschap
	CatDat-identificatiecode voor eigenschapcategorie
wdt:P1793	"[A-Za-z0-9_\-()]+"
wdt:P1855	离散空间函子
	forgetful functor for groups
	자유군 함자
wdt:P2302	torga d’un únicu valor
	formato de restricións
	egyediérték-kikötés
	restrición de tipo en propiedades de Wikidata
	дазволеныя тыпы сутнасьцяў
	เงื่อนไขบังคับขอบเขตคุณลักษณะ
wdt:P2429	অবশেষে সম্পূর্ণ
wdt:P31	خصوصیت ویکیدادهای برای شناسه
	Wikidata property related to category theory
wdt:P3254	<https://www.wikidata.org/wiki/Wikidata:Property_proposal/some_properties_for_category_theory>
wdt:P4876	27.0^^xsd:decimal
wdt:P6104	วิกิพีเดีย:โครงการวิกิคณิตศาสตร์
wdt:P9073	CatDat

Inverse relations

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

CatDat category ID wikibase:Property CatDat category property ID wikibase:Property CatDat functor property ID wikibase:Property identificador LMFDB de knowl wikibase:Property

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

<http://www.wikidata.org/entity/statement/P14630-AE6BDC26-15DB-4477-953C-C9460BAF191E>wikibase:BestRank <http://www.wikidata.org/entity/statement/P14628-a6055d0f-b4d3-4ce5-b933-54ab296d0390>wikibase:BestRank <http://www.wikidata.org/entity/statement/P12987-0a6d797e-677e-42d5-9c1d-1a46c9167d56>wikibase:BestRank <http://www.wikidata.org/entity/statement/P14631-46D9AF8A-4635-42D4-932D-47E8911D5B53>wikibase:BestRank

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

<http://www.wikidata.org/entity/statement/Q140248105-4f4988df-6dba-4e61-b2c9-9b69350df0bf>wikibase:BestRank

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

CatDat