Regularity vs. constructive complete (co)distributivity (Q4563242)
From MaRDI portal
scientific article; zbMATH DE number 6881685
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Regularity vs. constructive complete (co)distributivity |
scientific article; zbMATH DE number 6881685 |
Statements
7 June 2018
0 references
quantaloid
0 references
Girard quantaloid
0 references
quantale
0 references
Girard quantale
0 references
regular \(\mathcal{Q}\)-distributor
0 references
complete distributivity
0 references
Kan adjunction
0 references
math.CT
0 references
0 references
