A note on categories enriched in quantaloids and modal and temporal logic
Kimmo I. Rosenthal (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Modules over a quantale and models for the operator in linear logic”
A note on categories enriched in quantaloids and modal and temporal logic
Preface to the special volume: “Chu spaces: theory and applications".
de Paiva, Valeria (ed.), Pratt, Vaughan (ed.) (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof.
Mesablishvili, Bachuki (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Constructing quantales and their modules from monoidal categories
Susan B. Niefield (1996)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Quillen cohomology and Baues-Wirsching cohomology of algebraic, theories
M. Jibladze, T. Pirashvili (2006)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Localization of differential operators and of higher order de Rham complexes
Gabriele Vezzosi (1997)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
A bicategorical approach to static modules.
Betti, Renato (1999)
Theory and Applications of Categories [electronic only]
Similarity:
Indexed categories for program development
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: