Modal representation of coalgebras over local BL-algebras

Document Type : Original Article

Authors

1 Department of Mathematics, Faculty of sciences, University of Yaoundé 1, Yaoundé, Cameroon

2 Department of mathematics, Faculty of sciences, University of Yaounde 1, Cameroon

3 Department of mathematics, faculty of sciences, University of Yaounde 1, Cameroon

Abstract

We consider the category Coalg(∏) of ∏-coalgebras where ∏ is the endofunctor on the category of local BL-algebras and  L-morphisms which assigns to each local BL-algebra its quotient by its unique maximal filter and we characterize homomorphisms and subcoalgebras in Coalg(∏) . Moreover, we introduce local BL-frames based on local BL-algebras, and show that the category of local BL-frames is isomorphic to Coalg(∏).

Keywords