{"entities":{"Q6481788":{"pageid":13977928,"ns":120,"title":"Item:Q6481788","lastrevid":104428657,"modified":"2026-07-10T19:39:26Z","type":"item","id":"Q6481788","labels":{"en":{"language":"en","value":"functor"},"de":{"language":"de","value":"Funktor"}},"descriptions":{"en":{"language":"en","value":"in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)"},"de":{"language":"de","value":"strukturerhaltende Abbildung zwischen zwei Kategorien"}},"aliases":{"en":[{"language":"en","value":"covariant functor"},{"language":"en","value":"contravariant functor"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56aa7b47ddb138e2d82292c25e0f33bef9e775a6","datavalue":{"value":"Q864475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$F6D909DF-4FF1-46EF-8081-DED2027FE7B8","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"1bc5cf9af2d04fc0cfabd090ab5a3cbaa3ad41d2","datavalue":{"value":{"entity-type":"item","numeric-id":6480318,"id":"Q6480318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481788$6B1AA29F-865E-4BD7-B1C2-A1C1006A07D7","rank":"normal"}],"P236":[{"mainsnak":{"snaktype":"value","property":"P236","hash":"91576ccab9ff629bffee34c813599ef0b15a101c","datavalue":{"value":{"entity-type":"item","numeric-id":7273792,"id":"Q7273792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481788$284FE21A-3FD3-4A64-BE46-4B7C8509ED70","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"903b3f098edb21d20c42c8bc82169609e8338f48","datavalue":{"value":"/m/02yzn","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$406188EA-5819-4C58-933C-E6C3A93E1320","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P1209":[{"mainsnak":{"snaktype":"value","property":"P1209","hash":"7a3445ece7134005234511ca84a0e02d94431eab","datavalue":{"value":{"entity-type":"item","numeric-id":6480789,"id":"Q6480789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P140":[{"snaktype":"value","property":"P140","hash":"b876017c8e725db7d9bcb5035af5ed9162a8231d","datavalue":{"value":{"time":"+1942-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P140"],"id":"Q6481788$F045ADCF-230A-4702-892B-6C5D90CA5C3C","rank":"normal","references":[{"hash":"2c52583e6c439ad49d3b03cedfe8eab5502099da","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5f3a654faffc6b9eeff2f3b26d3a7bb72af09622","datavalue":{"value":{"entity-type":"item","numeric-id":6480790,"id":"Q6480790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P1209","hash":"d80097c4fc41f39a52cb7105c088c92c54fd3a83","datavalue":{"value":{"entity-type":"item","numeric-id":6481445,"id":"Q6481445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P140":[{"snaktype":"value","property":"P140","hash":"b876017c8e725db7d9bcb5035af5ed9162a8231d","datavalue":{"value":{"time":"+1942-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P140"],"id":"Q6481788$2E5659D2-A532-4F67-9D74-605428565ADE","rank":"normal","references":[{"hash":"2c52583e6c439ad49d3b03cedfe8eab5502099da","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5f3a654faffc6b9eeff2f3b26d3a7bb72af09622","datavalue":{"value":{"entity-type":"item","numeric-id":6480790,"id":"Q6480790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P234":[{"mainsnak":{"snaktype":"value","property":"P234","hash":"2796bd08bc80c31a46bd27d554ce66e10adc9fd5","datavalue":{"value":"Functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6481788$8C198C86-11D1-4FDF-9CF0-D9CB227E5A3C","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P248":[{"mainsnak":{"snaktype":"value","property":"P248","hash":"d688d191f6cfdb0e768e7e18e2c872df572f282b","datavalue":{"value":"Functor-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$F873110F-450D-4217-935F-8F0E9358DF96","rank":"normal","references":[{"hash":"36aae81f91e73382a6f83123894b56349fe7cc6f","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5f64affe1ee560462bef91177df1a989c048367b","datavalue":{"value":{"entity-type":"item","numeric-id":56535,"id":"Q56535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P252":[{"mainsnak":{"snaktype":"value","property":"P252","hash":"fcbd0f09270c154b3c9f144ddf192f2b877a99a6","datavalue":{"value":"functors","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$DE3812DB-D20B-45FF-A187-EDCF2D9A88C6","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"8b842e8e1263bf0ee0ccd70054cc271fa0eee053","datavalue":{"value":{"entity-type":"item","numeric-id":6480485,"id":"Q6480485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481788$DCDEAC37-6BF4-41C8-9B8B-3FF2201E95E2","rank":"normal"}],"P241":[{"mainsnak":{"snaktype":"value","property":"P241","hash":"40f6caa51b48321605ec92b834e165ad9a70058f","datavalue":{"value":"7364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$5900C1B2-FC4F-4E4B-B00F-69A4520A7865","rank":"normal"}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"d403ca19e25df5ed396cf5d6639d33777763c8fc","datavalue":{"value":"functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$6162AB74-AC8D-4B5C-AF73-D4AB5FE5648F","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"c6cd229930a077bbd77a500cd2b46a3b4f73cccf","datavalue":{"value":"topic/functor","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"6de7873bb0d299bc6f0cbdd76cba1c5f3960e402","datavalue":{"value":"functor","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481788$C7F9DDE4-FBB3-47A8-8586-C24C4DD1457C","rank":"normal"}],"P284":[{"mainsnak":{"snaktype":"value","property":"P284","hash":"50c8133c340edda4bbdb2310af2281c9eddf965c","datavalue":{"value":"955376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$765E3ADA-2AAF-49E7-9E63-0FAC533F7333","rank":"normal"}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"023bad0387ba67c4dc246a9b1f63d9e172bd7320","datavalue":{"value":{"entity-type":"item","numeric-id":6480485,"id":"Q6480485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481788$955639A8-D8A2-444A-9B8C-3DAA7B1522EB","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"c724039b5164fe2e27b13862f7fd04bbf726b35e","datavalue":{"value":"156772000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$1A212D4E-4F57-499A-AF77-456AE7E36410","rank":"normal"}],"P256":[{"mainsnak":{"snaktype":"value","property":"P256","hash":"41cc09d7dca45cde4db9f10d1aa9928ce487337c","datavalue":{"value":{"entity-type":"property","numeric-id":1892,"id":"P1892"},"type":"wikibase-entityid"},"datatype":"wikibase-property"},"type":"statement","qualifiers":{"P31":[{"snaktype":"value","property":"P31","hash":"d446393a08be275fc4aac05176f10f898e84f8ab","datavalue":{"value":{"entity-type":"item","numeric-id":6821567,"id":"Q6821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P31"],"id":"Q6481788$97AEE62F-364A-41F3-B25D-13823B385F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P256","hash":"18cf6f6c3fdaea96cd624711ce4a4a23cc062bc1","datavalue":{"value":{"entity-type":"property","numeric-id":1893,"id":"P1893"},"type":"wikibase-entityid"},"datatype":"wikibase-property"},"type":"statement","qualifiers":{"P31":[{"snaktype":"value","property":"P31","hash":"d446393a08be275fc4aac05176f10f898e84f8ab","datavalue":{"value":{"entity-type":"item","numeric-id":6821567,"id":"Q6821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P31"],"id":"Q6481788$87B4D1D2-D92F-47EB-BC79-E9ABB5B56051","rank":"normal"}],"P294":[{"mainsnak":{"snaktype":"value","property":"P294","hash":"d882239b26dafbaac925138c7ac95379e0dfa77c","datavalue":{"value":"Functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$F1F0CD6E-B35D-4665-BBB9-54CDE6C33FE3","rank":"normal","references":[{"hash":"00aecfbe761c025df2d03be8a01c0517e827f828","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5826672b850b1dc5989ca83142af2df32bc3577a","datavalue":{"value":{"entity-type":"item","numeric-id":56566,"id":"Q56566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"657a02fa5bc1c652c10dada51e589d0dd0a8ce4b","datavalue":{"value":{"time":"+2020-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69"]}]}],"P250":[{"mainsnak":{"snaktype":"value","property":"P250","hash":"a14f193ed87e3ba46a12a8182e4dad1df4478b41","datavalue":{"value":{"entity-type":"item","numeric-id":6534253,"id":"Q6534253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"6de7873bb0d299bc6f0cbdd76cba1c5f3960e402","datavalue":{"value":"functor","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481788$1AF0A4A3-D742-48DB-83F8-8A771B05592A","rank":"normal"}],"P1202":[{"mainsnak":{"snaktype":"value","property":"P1202","hash":"c4d57990d7fb1f6ee658cc0a5438f17df2481c53","datavalue":{"value":"Functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$8DFDABA7-3379-4B90-AF32-750A7A9727F1","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"b81cc7c480bfe8fba16e94d0a447c9f55c64a58d","datavalue":{"value":"Functor","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"31369b34d1ad4aab1f2a049f85846482ae7e4531","datavalue":{"value":"Functor","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481788$1C27D19D-7992-49DE-AEE6-80AC9D9C5DAB","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"a4643a556a250341b5344138ceb0702d861cc9e4","datavalue":{"value":"\\begin{aligned}F(\\operatorname{id}_X)&=\\operatorname{id}_{F(X)}\\\\F(f\\circ g)&=Ff\\circ Fg\\end{aligned}","type":"string"},"datatype":"math"},"type":"statement","id":"Q6481788$1EA8FF88-F6F5-4CE9-91D4-EB03249B1066","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a34cfc56cf2bf9e4929b4bb7b936f4f4c5452c2","datavalue":{"value":"C156772000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$1FD02F95-70D6-43CB-906B-ABEF8FC03AA8","rank":"normal","references":[{"hash":"b61840b5e4c07320c0aa508d1e9d37d18264ae22","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}]},"snaks-order":["P98","P69","P56"]}]}],"P983":[{"mainsnak":{"snaktype":"value","property":"P983","hash":"7450a7a2a3a11b6e281baeba2052f4712a8a64e2","datavalue":{"value":"F","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"111fbf32dc7511b6af910245ba9f3b503fcbbc4d","datavalue":{"value":{"entity-type":"item","numeric-id":6481788,"id":"Q6481788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6481788$9DF7BD48-3F07-4FFE-90AF-82703CBD4179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"8e44cc68cc7cbfcb8266b40e01b0bd03bd034cec","datavalue":{"value":"\\operatorname{id}","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"6e76494f236ebd36acff68af10d29d8e97d997bf","datavalue":{"value":{"entity-type":"item","numeric-id":6482886,"id":"Q6482886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6481788$9C7C1A48-5DAC-48B7-8FB2-96335124144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"bcbfac2c39088c0952793a62d4d85055bf408adf","datavalue":{"value":"f\\circ g","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"360617028fb76f394c4fdbdb2327becf38c83b17","datavalue":{"value":{"entity-type":"item","numeric-id":6821542,"id":"Q6821542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6481788$FB9EAC26-FBC8-44A7-9E87-A3ACE31CB309","rank":"normal"}],"P1364":[{"mainsnak":{"snaktype":"value","property":"P1364","hash":"8bbf98a86eae2b2b02d6d6465f6ca707e25d7764","datavalue":{"value":"mathematics/functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$40AA0472-DBE7-4F19-88F4-6100EC0D0943","rank":"normal"}],"P1575":[{"mainsnak":{"snaktype":"value","property":"P1575","hash":"a73ffa375edd652fcaee88a0417019087054120b","datavalue":{"value":"Definition:Functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$6CA01D8C-B0C0-440F-AA75-120256AF58C0","rank":"normal"}],"P386":[{"mainsnak":{"snaktype":"value","property":"P386","hash":"56d38bfd10e6c88d9823336176dbbb653b71a5ad","datavalue":{"value":"funtore","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"cbb374d89968a4959bb4fcd0923922d6776fa308","datavalue":{"value":"funtore","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481788$99698FB8-4231-4056-87DB-4CCF217AF4A0","rank":"normal"}],"P1588":[{"mainsnak":{"snaktype":"value","property":"P1588","hash":"10ffd43b8fcbee53bc1856dbad4f197c623cd0f7","datavalue":{"value":"df-func","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$85D65146-9F21-413B-AC18-755870744A43","rank":"normal"}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"ea4eefc43c31a6ff33c3badaeec74d5b79e48e68","datavalue":{"value":"Commutative diagram of a functor.svg","type":"string"},"datatype":"commonsMedia"},"type":"statement","id":"Q6481788$894A5246-E762-4EE3-AB61-5AADF12308E3","rank":"normal"}],"P2043":[{"mainsnak":{"snaktype":"value","property":"P2043","hash":"59355177efba22b63194ff140d7743de7b5c6988","datavalue":{"value":"CategoryTheory.Functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$968ECBFE-5036-4EE4-8D6A-9946CF33B246","rank":"normal","references":[{"hash":"44f0acd06b46aaafc54808f31c15debb206ea7d6","snaks":{"P56":[{"snaktype":"value","property":"P56","hash":"c7ea31b463ee7fd60f4394fc1a370548b344377a","datavalue":{"value":"https://github.com/leanprover-community/mathlib4/blob/88d006abbcd1f157f567bd21c7a33c271df9b83b/Mathlib/CategoryTheory/Functor/Basic.lean#L39","type":"string"},"datatype":"url"}],"P69":[{"snaktype":"value","property":"P69","hash":"3665f69f81da86b932aef0ef1f45b4208459c460","datavalue":{"value":{"time":"+2026-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P56","P69"]}]}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"3159f337a2b741a8b0562c68d1f8304656359d8d","datavalue":{"value":"covariant functor","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481788$8F52D9E9-AA50-41FC-8393-F9CB07BD6DA8","rank":"normal"}]},"sitelinks":{}}}}