Quotients of d-Frames

Tomas Jakl, Achim Jung, Ales Pultr

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
166 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)261-275
Number of pages15
JournalApplied Categorical Structures
Volume27
Issue number3
Early online date5 Jan 2019
DOIs
Publication statusPublished - Jun 2019

Keywords

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

Fingerprint

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

Cite this