Quotients of d-Frames
Research output: Contribution to journal › Article › peer-review
Authors
Colleges, School and Institutes
External organisations
- Charles University in 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