@book(Barr1979,
author = {Michael Barr},
year = {1979},
title = {{$\ast$}-autonomous categories},
series = {Lecture Notes in Mathematics},
volume = {752},
publisher = {Springer, Berlin},
doi = {10.1007/BFb0064582},
)
@article(BCS2000,
author = {R. F. Blute and J. R. B. Cockett and R. A. G. Seely},
year = {2000},
title = {Feedback for linearly distributive categories: traces and fixpoints},
journal = {J. Pure Appl. Algebra},
volume = {154},
number = {1-3},
pages = {27--69},
doi = {10.1016/S0022-4049(99)00180-2},
)
@article(BCST1996,
author = {R. F. Blute and J. R. B. Cockett and R. A. G. Seely and T. H. Trimble},
year = {1996},
title = {Natural deduction and coherence for weakly distributive categories},
journal = {J. Pure Appl. Algebra},
volume = {113},
number = {3},
pages = {229--296},
doi = {10.1016/0022-4049(95)00159-X},
)
@article(CS1997,
author = {J. R. B. Cockett and R. A. G. Seely},
year = {1997},
title = {Proof theory for full intuitionistic linear logic, bilinear logic, and {MIX} categories},
journal = {Theory Appl. Categ.},
volume = {3},
pages = {No. 5, 85--131},
)
@book(EGHK2018,
author = {Patrik Eklund and Guti\'{e}rrez Garc\'{\i}a, Javier and Ulrich H\"{o}hle and Jari Kortelainen},
year = {2018},
title = {Semigroups in complete lattices},
series = {Developments in Mathematics},
volume = {54},
publisher = {Springer, Cham},
doi = {10.1007/978-3-319-78948-4},
)
@book(GJKO,
author = {Nikolaos Galatos and Peter Jipsen and Tomasz Kowalski and Hiroakira Ono},
year = {2007},
title = {Residuated Lattices: An Algebraic Glimpse at Substructural Logics},
series = {Studies in Logic and the Foundations of Mathematics},
volume = {151},
publisher = {Elsevier},
doi = {10.1016/S0049-237X(07)80005-X},
)
@article(GW1999,
author = {G. Gr\"{a}tzer and F. Wehrung},
year = {1999},
title = {A new lattice construction: the box product},
journal = {J. Algebra},
volume = {221},
number = {1},
pages = {315--344},
doi = {10.1006/jabr.1999.7975},
)
@article(HiggsRowe1989,
author = {D. A. Higgs and K. A. Rowe},
year = {1989},
title = {Nuclearity in the category of complete semilattices},
journal = {J. Pure Appl. Algebra},
volume = {57},
number = {1},
pages = {67--78},
doi = {10.1016/0022-4049(89)90028-5},
)
@article(JoyalTierney,
author = {Andr\'{e} Joyal and Myles Tierney},
year = {1984},
title = {An extension of the {G}alois theory of {G}rothendieck},
journal = {Mem. Amer. Math. Soc.},
volume = {51},
number = {309},
pages = {vii+71},
doi = {10.1090/memo/0309},
)
@article(KellyLaplaza1980,
author = {G. M. Kelly and M. L. Laplaza},
year = {1980},
title = {Coherence for compact closed categories},
journal = {J. Pure Appl. Algebra},
volume = {19},
pages = {193--213},
doi = {10.1016/0022-4049(80)90101-2},
)
@unpublished(prover9-mace4,
author = {W. McCune},
year = {2005--2010},
title = {{Prover9 and Mace4}},
note = {\url{http://www.cs.unm.edu/~mccune/prover9/}},
)
@article(Nelson1976,
author = {Evelyn Nelson},
year = {1976},
title = {Galois connections as left adjoint maps},
journal = {Comment. Math. Univ. Carolinae},
volume = {17},
number = {3},
pages = {523--541},
)
@article(Raney60,
author = {George N. Raney},
year = {1960},
title = {Tight {G}alois connections and complete distributivity},
journal = {Trans. Amer. Math. Soc.},
volume = {97},
pages = {418--426},
doi = {10.2307/1993380},
)
@book(Rosenthal1990,
author = {Kimmo I. Rosenthal},
year = {1990},
title = {Quantales and their applications},
series = {Pitman Research Notes in Mathematics Series},
volume = {234},
publisher = {Longman Scientific \& Technical, Harlow},
)
@article(Rowe1988,
author = {K. A. Rowe},
year = {1988},
title = {Nuclearity},
journal = {Canad. Math. Bull.},
volume = {31},
number = {2},
pages = {227--235},
doi = {10.4153/CMB-1988-035-5},
)
@inproceedings(2020-RAMICS,
author = {Luigi Santocanale},
year = {2020},
title = {The Involutive Quantaloid of Completely Distributive Lattices},
editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter},
booktitle = {RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
publisher = {Springer},
pages = {286--301},
doi = {10.1007/978-3-030-43520-2\_18},
)
@article(CWO,
author = {Luigi Santocanale and Maria Jo{\~a}o Gouveia},
year = {2020},
title = {The continuous weak order},
journal = {Journal of Pure and Applied Algebra},
doi = {10.1016/j.jpaa.2020.106472},
note = {In press},
)
@article(Shmuely1974,
author = {Zahava Shmuely},
year = {1974},
title = {The structure of {G}alois connections},
journal = {Pacific J. Math.},
volume = {54},
number = {2},
pages = {209--225},
doi = {10.2140/pjm.1974.54.209},
)
@article(W1985,
author = {Rudolf Wille},
year = {1985},
title = {Tensorial decomposition of concept lattices},
journal = {Order},
volume = {2},
number = {1},
pages = {81--95},
doi = {10.1007/BF00337926},
)
@book(Yetter2001,
author = {David N. Yetter},
year = {2001},
title = {Functorial knot theory},
series = {Series on Knots and Everything},
volume = {26},
publisher = {World Scientific Publishing Co., Inc., River Edge, NJ},
doi = {10.1142/9789812810465},
)