Quotients of d-Frames

Research output: Contribution to journalArticlepeer-review


Colleges, School and Institutes

External organisations

  • Charles University in Prague


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.


Original languageEnglish
Pages (from-to)261-275
Number of pages15
JournalApplied Categorical Structures
Issue number3
Early online date5 Jan 2019
Publication statusPublished - Jun 2019


  • Quotient, d-Frame, (Quasi)-congruence, Factorization system