{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:46:27Z","timestamp":1775839587560,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00873296","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:18:40Z","timestamp":1104131920000},"page":"119-144","source":"Crossref","is-referenced-by-count":23,"title":["Constructive complete distributivity IV"],"prefix":"10.1007","volume":"2","author":[{"given":"Robert","family":"Rosebrugh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. J.","family":"Wood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0022-4049(91)90005-M","volume":"70","author":"B. Banaschewski","year":"1991","unstructured":"B. Banaschewski and S. B. Niefield. Projective and supercoherent frames.Journal of Pure and Applied Algebra, 70:45?51, 1991.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"CR2","first-page":"47","volume":"XXXII","author":"A. Carboni","year":"1991","unstructured":"A. Carboni, G. M. Kelly, and R. J. Wood. A 2-categorical approach to change of base and geometric morphisms 1.Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques, XXXII:47?95, 1991.","journal-title":"Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques"},{"issue":"2","key":"CR3","doi-asserted-by":"crossref","first-page":"275","DOI":"10.2140\/pjm.1986.124.275","volume":"124","author":"A. Carboni","year":"1986","unstructured":"A. Carboni and R. Street. Order ideals in categories.Pacific Journal of Mathematics, 124(2):275?278, 1986.","journal-title":"Pacific Journal of Mathematics"},{"key":"CR4","first-page":"3","volume":"148","author":"C.J. Mulvey","year":"1974","unstructured":"C.J. Mulvey. Intuitionistic algebra and representation of rings.Memoirs of the AMS, 148:3?57, 1974.","journal-title":"Memoirs of the AMS"},{"key":"CR5","first-page":"261","volume":"XXX","author":"R. Guitart","year":"1992","unstructured":"R. Guitart et J. Riguet. Envelopes karoubiennes de cat\ufffdgories de kleisli.Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques, XXX:261?266, 1992.","journal-title":"Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0305004100068377","volume":"107","author":"B. Fawcett","year":"1990","unstructured":"B. Fawcett and R. J. Wood. Constructive complete distributivity I.Math. Proc. Cam. Phil. Soc., 107:81?89, 1990.","journal-title":"Math. Proc. Cam. Phil. Soc."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0022-4049(89)90028-5","volume":"57","author":"D. A. Higgs","year":"1989","unstructured":"D. A. Higgs and K. A. Rowe. Nuclearity in the category of complete semi-lattices.Journal of Pure and Applied Algebra, 57:67?78, 1989.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF02574184","volume":"18","author":"R-E. Hoffmann","year":"1979","unstructured":"R-E. Hoffmann. Continuous posets and adjoint sequences.Semigroup Forum, 18:173?188, 1979.","journal-title":"Semigroup Forum"},{"key":"CR9","unstructured":"P. T. Johnstone.Stone Spaces. Cambridge University Press, 1982."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"A. Joyal and M. Tierney.An Extension of the Galois Theory of Grothendieck. Memoirs of the American Mathematical Society No. 309, American Mathematical Society, 1984.","DOI":"10.1090\/memo\/0309"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F. W. Lawvere","year":"1973","unstructured":"F. W. Lawvere. Metric spaces, generalized logic and closed categories.Rendiconti del Seminario Matematico e Fisico di Milano, 43:135?166, 1973.","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1090\/S0002-9939-1953-0058568-4","volume":"4","author":"G. N. Raney","year":"1953","unstructured":"G. N. Raney. A subdirect-union representation for completely distributive complete lattices.Proc. Amer. Math. Soc., 4:518?512, 1953.","journal-title":"Proc. Amer. Math. Soc."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0305004100070316","volume":"110","author":"R. Rosebrugh","year":"1991","unstructured":"R. Rosebrugh and R. J. Wood. Constructive complete distributivity II.Math. Proc. Camb. Phil. Soc., 110:245?249, 1991.","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"537","DOI":"10.4153\/CMB-1992-070-6","volume":"35","author":"R. Rosebrugh","year":"1992","unstructured":"R. Rosebrugh and R. J. Wood. Constructive complete distributivity III.Canadian Mathematical Bulletin, 35:537?547, 1992.","journal-title":"Canadian Mathematical Bulletin"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"R. Rosebrugh and R. J. Wood. Constructive complete distributivity V. in preparation, 1994.","DOI":"10.1007\/BF00873296"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"227","DOI":"10.4153\/CMB-1988-035-5","volume":"31","author":"Keith Rowe","year":"1989","unstructured":"Keith Rowe. Nuclearity.Canadian Mathematical Bulletin, 31:227?235, 1989.","journal-title":"Canadian Mathematical Bulletin"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1016\/0021-8693(78)90160-6","volume":"50","author":"R. Street","year":"1978","unstructured":"R. Street and R. F. C. Walters. Yoneda structures on 2-categories.Journal of Algebra, 50:350?379, 1978.","journal-title":"Journal of Algebra"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(93)90072-2","volume":"114","author":"S. Vickers","year":"1993","unstructured":"S. Vickers. Information systems for continuous posets.Theoretical Computer Science, 114:201?229, 1993.","journal-title":"Theoretical Computer Science"},{"key":"CR19","first-page":"279","volume":"XXIII","author":"R. J. Wood","year":"1982","unstructured":"R. J. Wood. Proarrows 1.Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques, XXIII:279?290, 1982.","journal-title":"Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques"},{"key":"CR20","first-page":"135","volume":"XXVI","author":"R. J. Wood","year":"1985","unstructured":"R. J. Wood. Proarrows 2.Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques, XXVI:135?168, 1985.","journal-title":"Cahiers de topologie et g\ufffdometrie diff\ufffdrentielle cat\ufffdgoriques"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00873296.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00873296\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00873296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:53:15Z","timestamp":1586044395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00873296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00873296"],"URL":"https:\/\/doi.org\/10.1007\/bf00873296","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}