Projective Quantales: A General View
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Periodical |
| Magazine / Source | International Journal of Theoretical Physics |
| MU Faculty or unit | |
| Citation | |
| Field | General mathematics |
| Keywords | Quantale - K-flat projectivity - K-command |
| Description | We begin with the notion of K-flat projectivity. For each quantale L we then introduce a binary relation left triangle, openL on it. The K-flat projective quantales are exactly such quantales with each element a approximated by the element x, xleft triangle, openLa and the relation left triangle, openL being stable with respect to the operations on L. Further on, we introduce the notion of a K-comonad and characterize K-flat projective quantales as such quantales having a coalgebra structure for the K-comonad. |
| Related projects: |