{"entities":{"Q762186":{"pageid":764035,"ns":120,"title":"Item:Q762186","lastrevid":64184754,"modified":"2026-04-11T18:11:41Z","type":"item","id":"Q762186","labels":{"en":{"language":"en","value":"Catalytic distributive lattices and compact zero-dimensional topological lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887754"}},"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":"Q762186$0BC14F39-6F08-41AE-B362-1CAD710E5314","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a7eb3605762945cc3f1054300f6fc35774c5860","datavalue":{"value":{"text":"Catalytic distributive lattices and compact zero-dimensional topological lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762186$47E8B16A-AE75-4471-AD94-7592CA99DC00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f497d15ce7c0b84c024cc6c40d79a98f99271458","datavalue":{"value":"0557.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$AAE54FCD-B04D-40CC-8702-0525A9A1F286","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c533e9d6a8928472a296d4ed2e71ea2f3a28351","datavalue":{"value":"10.1007/BF01201099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$3657D3EC-BB1C-491C-822B-8F38B82EE6AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$0932CD42-2D62-4F00-92C0-7ABB95BB48CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q762186$6E1C709D-ED13-420B-82A3-AC4C38CAD9DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"104a7166d3466698885755318d3c77ee0db9712f","datavalue":{"value":"Let D(0,1) denote the category of bounded distributive lattices and lattice homomorphisms preserving 0 and 1. A lattice L is said to be catalytic if Hom(L,M) is a lattice for all M. It is known from the work of \\textit{R. Balbes} [Algebra Univers. 11, 334-340 (1980; Zbl 0457.06008)] that L is catalytic if and only if every element is a finite meet of elements in M(L) (the meet-irreducible elements), M(L) is a join subsemilattice, \\(0\\in M(L)\\), and dual conditions hold for J(L), the join irreducibles. In this paper these conditions are translated to the Priestley dual in the category of compact totally order disconnected spaces. The principal result is that a lattice L is catalytic if and only if its dual is a topological lattice. This result is used to show L is catalytic if and only if it is a retract of a lattice freely generated by an ordered set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$A85F2E87-B051-4723-938B-01B6EB6C087C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$2483DB34-7784-4F04-B539-471259148741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42ea46801e492058a4b1ce7a9eeaf6d7cd8d9c3e","datavalue":{"value":"54G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$FD53586F-10F4-43F8-BB04-60197ECB1B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$331ED33D-C107-4E2A-B3C7-9B1617791C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6572440b52f16621a0f14dcfb541403c84695f8c","datavalue":{"value":"54H12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$81EED9B5-4D4F-43D9-9B7A-FC5684995512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7fcb5204b3ee0bc6f00bad72cd90eeb83f3c3fa","datavalue":{"value":"3887754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762186$527E860C-1C6E-422B-9740-DD9BB878F134","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"facf5e02015b544ba84b3421f458a8ba09b844bc","datavalue":{"value":"catalytic lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$276EAB6A-4EC0-4D41-93A2-65B63D38FC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7d43d9730ddf45032517775c0de0eddb7db0e9","datavalue":{"value":"category of bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$11F7ED31-98CD-4213-B3BD-B0E743E75BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0dca8521dae91805e8fea81b1ff5f6a914ccae","datavalue":{"value":"meet- irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$183A6D0A-6641-4EF8-B064-C096CF0983C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8375797bd39f4463f292e3d51d3992626cd06c3e","datavalue":{"value":"join irreducibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$D7804A05-707D-4087-957C-4EF6E1994F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e4b1a4d6814556e4b4cec599918c08e879bf32","datavalue":{"value":"Priestley dual","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$48693CF1-32AA-40BC-835E-04966E0B8635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1194f0c626756f4c9ff672f264ae2c2a5fa25d8","datavalue":{"value":"category of compact totally order disconnected spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$4CD0E581-B4E0-403A-8464-926163372BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50328b331aa4cde61eb0cba86d225c9cec8ba382","datavalue":{"value":"retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q762186$D9411943-7642-412D-B3F2-84C9DC4CBC4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7256ce4da28dc118cec51eb3d7cd80467cbfd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1070252,"id":"Q1070252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$4168F0BE-DDA8-4820-A886-54EF1E455ABD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36050b54f2c6fc0c913df56241219ed2ee903672","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$D14D967F-0E15-4B52-A132-728C28A7AD35","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":"Q762186$7DC1D003-DE6C-46CB-9CE4-361D7979EC2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c64469a9b547098cfc5ca08327e793be7d4f21","datavalue":{"value":{"entity-type":"item","numeric-id":1217819,"id":"Q1217819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$3DE6F620-12F1-40AF-8742-72BFB5FB5DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b396dab3dd2fd54b07b0cf6b31dcee9ddda7af","datavalue":{"value":{"entity-type":"item","numeric-id":1150637,"id":"Q1150637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$CC22C713-8ECA-43DF-9486-CEB050F4BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd8eab6f4a81093c465b2d995e0ca6930653aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1846889,"id":"Q1846889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$30D3F47F-B60B-44EC-AA49-04462306A2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc632fe6650ea091bb10e08a7fbcfedcd2972d","datavalue":{"value":{"entity-type":"item","numeric-id":4179057,"id":"Q4179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$D547AA2F-7F67-4AF6-A7EC-5EC790E73545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33ab1a97707b2983bf75cd882b7179c24b87f85","datavalue":{"value":{"entity-type":"item","numeric-id":1171586,"id":"Q1171586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$2A5C5191-C96C-4905-BD2D-DD4E8AEA079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ed5137b143acf4da9cdb1bb8a513a4e4634dc7","datavalue":{"value":{"entity-type":"item","numeric-id":4183359,"id":"Q4183359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$A1CC83DD-936C-480E-9BA4-85EEA9AC549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$1A40080B-A7B0-40FF-ACEA-21F2A838AE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030ccb5389c02e17df8168d7953b58a7f32f249f","datavalue":{"value":{"entity-type":"item","numeric-id":1158182,"id":"Q1158182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$F7EAF8D8-1D40-4522-BC85-5318C7967B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0c344a2700ca5a2cd8d58273aba899fde573d7","datavalue":{"value":{"entity-type":"item","numeric-id":1245985,"id":"Q1245985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$09D47BE8-9401-4513-9C63-E3CA14C2D304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$25EE8C42-EF6C-4A11-A127-98738FD7119F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a31d8dd48265ac552a7c96ec16af4f266effd0","datavalue":{"value":{"entity-type":"item","numeric-id":3277498,"id":"Q3277498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762186$A4806E1F-B11C-4999-98EE-E71B0B64C7BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8aea859c800a1017d5de44d4be9af955a6024ee","datavalue":{"value":{"entity-type":"item","numeric-id":3768946,"id":"Q3768946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1ac34cdcb25cb4654cf2484792e802f7d4a233","datavalue":{"value":{"amount":"+0.91397786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$0AF09E08-6E68-4755-8DCD-79ED84A35831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464e3528485b98c262091a3690f9fdef1a0aaff9","datavalue":{"value":{"entity-type":"item","numeric-id":1090690,"id":"Q1090690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25fadf3577b4ec3896c0aa8a9c4e9ca8c6d05c25","datavalue":{"value":{"amount":"+0.89724696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$6535EC27-9EB4-45D6-88FC-D3D60764DFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e830fce20afcb2a0f5fdd9cd9ac449e32e4783e9","datavalue":{"value":{"entity-type":"item","numeric-id":3324005,"id":"Q3324005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6489f173abc0913b63c6e50b74aaf7ad588ee4b3","datavalue":{"value":{"amount":"+0.89368194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$291B8D97-8639-473D-8DED-DC8F35AF7474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ec892a02d0b3930b61d70684aef83a50861ca5","datavalue":{"value":{"entity-type":"item","numeric-id":793066,"id":"Q793066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617bb162374fc51c86ea254ffbf6eab08237df39","datavalue":{"value":{"amount":"+0.8918271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$F649A668-5252-4623-8AFC-CA8814C1DFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06d2648e2fa390a7930a174ddf220bf02edc779","datavalue":{"value":{"entity-type":"item","numeric-id":3333092,"id":"Q3333092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c133e072949f21d370a5b419fc77a6b6894af3","datavalue":{"value":{"amount":"+0.8903158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$451237E3-55F7-455B-A2AE-3D4E846E50F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6460d3ecd5879630f481de80cc994ba3651f1ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3975750,"id":"Q3975750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e84c480a670aee587ca5c0ebb6aa795e274b57","datavalue":{"value":{"amount":"+0.89024097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$9D08B8F8-F009-41DA-86EF-F9B62558587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d75e1e34371b28e78c02827139a5565f036e0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1266353,"id":"Q1266353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cccfd411808943a38d61f2d86fb69b59783004","datavalue":{"value":{"amount":"+0.88908887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$1E6BDE91-BAA0-40CA-9567-49B1ADAF5112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a5097929c042fc66e8912d12228677019ccbfd3","datavalue":{"value":{"entity-type":"item","numeric-id":1044807,"id":"Q1044807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ac5c0f623d4c77ad4dcc8fc5b37ece2d05535d","datavalue":{"value":{"amount":"+0.88848954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$46BD46A1-3EC6-4893-8B19-4B46F7AA4C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2957ba08cdb2ad61dc25a438fee0ab3f1508b171","datavalue":{"value":{"entity-type":"item","numeric-id":1308242,"id":"Q1308242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267a2bc7fe057c7ed18241c732641bdf685ae356","datavalue":{"value":{"amount":"+0.88598007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$63B9692A-3146-4D64-B00B-AFF6B966E504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdbce0ab8dcb85c77268c7ce29071e9fbad69af","datavalue":{"value":{"entity-type":"item","numeric-id":5077335,"id":"Q5077335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbaa1a31084f12ce91c3555412509d62c03efbf","datavalue":{"value":{"amount":"+0.885416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762186$07174AE9-1E96-400E-AA05-8B1C6B224ECA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Catalytic distributive lattices and compact zero-dimensional topological lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Catalytic_distributive_lattices_and_compact_zero-dimensional_topological_lattices"}}}}}