Quotients of d-Frames
| Autor: | Achim Jung, Aleš Pultr, Tomáš Jakl |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Pure mathematics
Algebra and Number Theory General Computer Science Binary relation 010102 general mathematics Structure (category theory) 0102 computer and information sciences 01 natural sciences Theoretical Computer Science Factorization system Complete lattice 010201 computation theory & mathematics Consistency (statistics) Theory of computation 0101 mathematics Quotient Mathematics |
| Zdroj: | Applied Categorical Structures. 27:261-275 |
| ISSN: | 1572-9095 0927-2852 |
| DOI: | 10.1007/s10485-018-09553-7 |
| Popis: | It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or totality structure, but as these are linked by the reasonableness conditions of d-frames, the result in general will be that both frames are factored and both consistency and totality are increased. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink