{"entities":{"Q1270359":{"pageid":1281109,"ns":120,"title":"Item:Q1270359","lastrevid":70041294,"modified":"2026-04-13T12:02:42Z","type":"item","id":"Q1270359","labels":{"en":{"language":"en","value":"Exactly definable categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1214110"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$97748D8B-0DC7-477A-AC1A-5FE6A32586E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f107122905d990d26c45637ce70a1edb8f5a5510","datavalue":{"value":{"text":"Exactly definable categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1270359$48704B86-B974-4ABF-943F-CCD63D531098","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6988ce21345468490e2a252f191bb1371b84b2b","datavalue":{"value":"0917.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270359$AE699C7C-183F-46D1-BB16-CAF81996F66D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86ba50791dbcd5f10b7a5ab93fd4978699e500d9","datavalue":{"value":{"entity-type":"item","numeric-id":168361,"id":"Q168361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$BB68E62F-B707-463F-8E79-C1398037DB74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$D1ACE82E-11BF-42A6-9BE2-9FC6B0FC8AA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d4fe5e834934d2e74b96ad4dcb56bf87c7268c","datavalue":{"value":{"time":"+1999-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1270359$FD7035A6-707B-45B8-9B89-3F9868A4A7E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c10a4286678cbecdf41e59d797f1601cbb9e278","datavalue":{"value":"The paper gives a nice, careful treatment of the theory of exactly definable categories. A category \\({\\mathcal A}\\) is called exactly definable if it is equivalent to the category Ex\\(({\\mathcal C}^{\\text{op}},Ab)\\) of all exact additive functors from \\({\\mathcal C}^{\\text{op}}\\) to the category \\(Ab\\) of abelian groups where \\({\\mathcal C}\\) is a skeletal-small abelian category. Let \\(D({\\mathcal A})\\) be the category of all left exact additive functors from \\({\\mathcal C}^{\\text{op}}\\) to \\(Ab\\). The natural inclusion \\(d:{\\mathcal A}\\to D({\\mathcal A})\\) is used to show that each of \\({\\mathcal A}\\) and \\({\\mathcal C}\\) determines uniquely the other. Structures associated to exactly definable categories as definable subcategories and definable quotient categories as well as Ziegler spectrum Zsp\\(({\\mathcal A})\\) are introduced and investigated in detail. Functors \\(f\\) commuting with direct limits and products between \\({\\mathcal A}\\) and \\({\\mathcal B}=\\text{Ex}({\\mathcal D}^{\\text{op}},Ab)\\) are shown to be induced by exact functors between \\({\\mathcal C}\\) and \\({\\mathcal D}\\). As a consequence \\(f\\) induces a continuous and closed map between Ziegler spectra if \\(f\\) preserves indecomposability. Each object \\(M\\in{\\mathcal A}\\) gives in the natural way a functor \\(\\overline M: ({\\mathcal C}/M)^{\\text{op}}\\to\\text{Mod}\\)-\\(\\Gamma\\) where \\(\\Gamma\\) is the opposite ring of the ring of endomorphisms of \\(M\\). This functor is faithful and exact. Its image is called the endocategory \\({\\mathcal E}_M\\) of \\(M\\). It turns out that the endocategory is a useful invariant. For example, it is proved that \\(M\\) is pure-injective iff its endocategory is artinian, i.e., every object in the endocategory is artinian. In particular, \\(M\\) is endo-finite iff all objects in its endocategory are of finite length. Pure-injectivity and other interesting, particular cases of exactly definable categories are thoroughly investigated in the last sections of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$1E534AB0-E1C0-4393-8D7C-9DC81476A318","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270359$8CCF52D4-2F37-46DE-9A32-880040610ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"476fa4c853b7cc3ad5ce15707fc4556f5f18ef03","datavalue":{"value":"18E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270359$EBEC0641-78EF-4F67-A499-ABA04A09DA50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7799bcd1fc99b34614a4ff53c9020ef605d64dfb","datavalue":{"value":"1214110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270359$B7B85C08-EFC4-4FE0-A473-8E94D3CADEC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08ade78b5bc4f2aaeb80127c3c3726c912c04744","datavalue":{"value":"pure-exact","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$C70E73FD-E139-4256-89C5-8A3203B4E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1916756861db88cc93b7f8aa5d453108444c5eec","datavalue":{"value":"Ziegler spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$74F3A2A9-393A-4A5D-8AD5-91857CC84199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a4edd7ea551d4a1906e0c78243904b3909c1ee3","datavalue":{"value":"exactly definable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$022E46F6-0296-4B9D-9BDC-F407B2C74041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"498293b20acb4d3452033c0c1fd260524937821d","datavalue":{"value":"abelian category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$CAB3AC9D-23AB-4DAE-ADC8-E7A2F86F3DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d384aecad4159d0e25beb9c1c944b69f12ebfc60","datavalue":{"value":"exact functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$38893A08-BD07-4F7A-8C1C-A61638A6A976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db9f2da8e9d2a5129cfb9c1af502818253e87b6f","datavalue":{"value":"endocategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$502F34E6-CE71-4398-AFC9-44FDF5B02E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba40e4f801e08062da753d888cd8892dc0ce7b3","datavalue":{"value":"pure-injective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$6E35D8D1-26D4-4A52-A768-C19CF17519AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a37e3d680ceedd26fd002fc7f94e1c80a427ff3","datavalue":{"value":"artinian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$C0544B4A-32F6-49DB-9C07-788FE09BBD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d47868dfd46dea09ccc120d17b0d7dc87229d78","datavalue":{"value":"endo-finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$D860FB30-A193-4C30-ACBD-92062069757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50827bd076424c0cfb640e24987963f9c79a25f0","datavalue":{"value":"finite length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270359$F7B38001-2EEF-4AAC-93D8-889D34AEEB37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bd66d38cbc7269215f737809dfc343aa7ca35ff3","datavalue":{"value":{"entity-type":"item","numeric-id":161605,"id":"Q161605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$6EF109EB-E622-4445-BF2E-965160F2E00B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$B6E5A92C-8D65-4FC3-AFB2-D427014C7046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cd6e2582c7fe3f7b02a9e580677fd13b68c2709","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7252","type":"string"},"datatype":"url"},"type":"statement","id":"Q1270359$5E847564-AE96-4C1C-9468-A207B9A27180","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"443143e1b66c397113464384297f0c4dcb93f5b2","datavalue":{"value":"W1992574460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270359$A2ED1B14-30CC-4E7C-A5DA-E06FD712DD9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac425f5920e97c2df3b646dd77ec240005dab27a","datavalue":{"value":{"entity-type":"item","numeric-id":5586467,"id":"Q5586467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$5BD1BF72-5700-4367-B3B4-D350797C5B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b433e790b02660427f96bd3d977b887e9e1f8ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4767442,"id":"Q4767442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$2497FFA5-47F0-4FB8-8F5D-A45B31CA2D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bfb7226fab04d2b15d50ed20425af732afb62f","datavalue":{"value":{"entity-type":"item","numeric-id":4288215,"id":"Q4288215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$BCDFC9A0-D948-49C1-A3B3-07614CA00E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930b2f39f00998b52f083a7a79e4f1a617a24ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5599870,"id":"Q5599870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$932025CD-84AE-44DF-AA4C-92ECD93DD312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ab2bab14c28b9e49d4543ad7d033ef5afe7c08","datavalue":{"value":{"entity-type":"item","numeric-id":5599221,"id":"Q5599221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$30293ADA-C4A6-4EE1-B37D-BE8F79FCCD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf59f58f9428b0fc924a77c541412e7757cc68e","datavalue":{"value":{"entity-type":"item","numeric-id":1076120,"id":"Q1076120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$D4576C40-8DA2-4227-9CE1-23FC0EAE987B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0afd9acc4fb8ee052767f209fb03d873696d278","datavalue":{"value":{"entity-type":"item","numeric-id":4079793,"id":"Q4079793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$1EDC3317-7BED-48B1-A49D-E18E07BAEBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e20ed2bbed0ee4ffb5069c724e8f0549cccf09","datavalue":{"value":{"entity-type":"item","numeric-id":4740720,"id":"Q4740720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$6E0D0690-FBD9-4A7A-A64B-45E31F09C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7494269fabf2bbf38fbf7815eff294cf3a94b268","datavalue":{"value":{"entity-type":"item","numeric-id":3889226,"id":"Q3889226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$733ED0B8-F75F-493F-894D-8173AF7D95C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0363f8036deca9f526500bbae05fb3717001cb","datavalue":{"value":{"entity-type":"item","numeric-id":2395468,"id":"Q2395468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$D96E8797-A259-4350-AFED-B2A370C5385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b136dcc0be681e356ef4a0a18dfd87927c5f657","datavalue":{"value":{"entity-type":"item","numeric-id":674451,"id":"Q674451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$807F7A7B-C360-4CB7-87A0-E41180FDE4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a12c1f9adea78869dc40f063ca608e11fb9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4379310,"id":"Q4379310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$16AB342C-EB1B-4321-8E40-0301FF780614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e53ae4604ede176f994749d67b9620bbe17f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4400026,"id":"Q4400026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$FD58E665-F3A2-4D81-94B4-1C54333E967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca51de20e8a25803870e30a15845c6a9dfb92644","datavalue":{"value":{"entity-type":"item","numeric-id":1379581,"id":"Q1379581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$CAA47CBE-BB29-41E1-8ED4-5D1088133D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51411e9cf3661cd158ec65435a779ca0eb716b6","datavalue":{"value":{"entity-type":"item","numeric-id":2704687,"id":"Q2704687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$4B521E25-36B1-4D25-9D6B-3C0ED7B39F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$20148587-43B6-45C6-AD8D-B1EFF4C3EEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4b1cbfd3495596a05d24e2da4ddf39d6c0eec7","datavalue":{"value":{"entity-type":"item","numeric-id":4039792,"id":"Q4039792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$655FFC04-9424-4384-A206-E9A380E3EB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd7481d4d126f08af9822f9ddf1293054c358a","datavalue":{"value":{"entity-type":"item","numeric-id":1126247,"id":"Q1126247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$DAEC1903-B5D2-46FA-A56C-7D8596D93715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5a57d6a0bc5f7e2a1674fbe89110ecb6ed2c28","datavalue":{"value":{"entity-type":"item","numeric-id":5612502,"id":"Q5612502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$2A0F75B4-666D-4245-8DAC-442D6C52C204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9c1654d45746314251987759691016e5c8bc08","datavalue":{"value":{"entity-type":"item","numeric-id":1076118,"id":"Q1076118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270359$246E8203-CB82-4384-9C18-AEC70D7DEA68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91c2e13ca431481809c60ccdebd27fb52ee0dc15","datavalue":{"value":"10.1006/JABR.1997.7252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270359$FF08D358-E2A4-4AD7-A72A-2D016B532276","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0a93f840fe0fdb78bb1fe0824c3291bd5a90e9","datavalue":{"value":{"entity-type":"item","numeric-id":1689577,"id":"Q1689577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffddc159587f7a3ba534bbdb376ab33a1ce8e71a","datavalue":{"value":{"amount":"+0.8188714981079102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1270359$912AD1F8-0890-4F1A-ABB6-B94CB6BE6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01aee7674ec839bcbf7a2da4430a1af1c8934f73","datavalue":{"value":{"entity-type":"item","numeric-id":2268582,"id":"Q2268582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f50b8fd4c3d793d04eccdb4c6f0f6dd043a4cc3","datavalue":{"value":{"amount":"+0.8184548616409302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1270359$91AB5C75-DBD2-4F49-95C6-A999ABA0E76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155980ad557b359591ea6458014ff60f5502a793","datavalue":{"value":{"entity-type":"item","numeric-id":2119272,"id":"Q2119272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfadd8ba7e5eac70a3ed00be470f85d04a9a3c3a","datavalue":{"value":{"amount":"+0.8139477968215942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1270359$05102B83-549F-4F69-BFF4-718AC4ACF3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3823ddd73cad971235a10a728f4e25da6a47629","datavalue":{"value":{"entity-type":"item","numeric-id":3082826,"id":"Q3082826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f6decfadfa17c338d243ced2867fcde075a6e3","datavalue":{"value":{"amount":"+0.7659735083580017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1270359$2D4ACEF9-2B69-44B1-8102-D170F93FC480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exactly definable categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exactly_definable_categories"}}}}}