Invariance of projective modules in \(\mathsf{Sup}\) under self-duality

DOI10.1007/s00012-020-00691-5zbMath1457.18006MaRDI QIDQ2226980

Javier Gutiérrez García, Ulrich Höhle, Tomasz Kubiak

Publication date: 9 February 2021

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-020-00691-5

zbMATH Keywords

complete lattice; projective module; monoidal category; cyclic element; enriched category; presheaf; quantale; quantale module; preordered set; complete distributivity; dualizing element; totally below relation

Mathematics Subject Classification ID

06D10: Complete distributivity

03G10: Logical aspects of lattices and related structures

18B25: Topoi

06F07: Quantales

18D20: Enriched categories (over closed or monoidal categories)

06D75: Other generalizations of distributive lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Semigroups in complete lattices. Quantales, modules and related topics
• Projectives and injectives in the category of complete lattices with residuated mappings
• An extension of the Galois theory of Grothendieck
• Regularity vs. constructive complete (co)distributivity
• A Subdirect-Union Representation for Completely Distributive Complete Lattices