Regularity vs. constructive complete (co)distributivity (Q4563242)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6881685
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.8871069
0 references
0.87519556
0 references
0.8728025
0 references
0.8713491
0 references
0.8542507
0 references
0 references
0.8530992
0 references
