Quotients of d-Frames

Research output: Contribution to journalArticle

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

Keywords

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