Quotients of d-Frames

Tomas Jakl, Achim Jung, Ales Pultr

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
159 Downloads (Pure)


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


Dive into the research topics of 'Quotients of d-Frames'. Together they form a unique fingerprint.

Cite this