Quotients of d-Frames
Research output: Contribution to journal › Article
Authors
Colleges, School and Institutes
External organisations
- Charles University, Prague
Abstract
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.
Details
| Original language | English |
|---|---|
| Pages (from-to) | 261-275 |
| Number of pages | 15 |
| Journal | Applied Categorical Structures |
| Volume | 27 |
| Issue number | 3 |
| Early online date | 5 Jan 2019 |
| Publication status | Published - Jun 2019 |
Keywords
- Quotient, d-Frame, (Quasi)-congruence, Factorization system