![DICAMES logo](/jspui/image/xbanniere_new.jpeg.pagespeed.ic.XyfY6NRcXO.jpg)
Veuillez utiliser cette adresse pour citer ce document :
https://hdl.handle.net/20.500.12177/11881
Affichage complet
Élément Dublin Core | Valeur | Langue |
---|---|---|
dc.contributor.advisor | Kianpi, Maurice | - |
dc.contributor.advisor | Lele, Celestin | - |
dc.contributor.author | Nganteu Tchikapa, Cyrille | - |
dc.date.accessioned | 2024-06-27T09:41:28Z | - |
dc.date.available | 2024-06-27T09:41:28Z | - |
dc.date.issued | 2022 | - |
dc.identifier.uri | https://hdl.handle.net/20.500.12177/11881 | - |
dc.description.abstract | This thesis is intended to develop the theory of coalgebras over an endofunctor by investigating coalgebraic structure of BL-algebras via two functors. The first assigns every BL-algebra to its MV-center, and the second assigns every local BL-algebra to its quotient by its unique maximal filter. Functorial coalgebras have been mainly studied on the category of sets, topological spaces and also in arbitrary categories. Our aim is to prove that the categories of logical algebras are also good candidates as base categories of coalgebras. We study some categorical properties of BL-algebras and show that BL-algebras have good properties enough to obtain a rich structure of coalgebra on them ((co)completeness, adequate factorization structure, coreflective subcategory) . We introduce the MV-functor, and investigate its coalgebras. We characterize homomophisms , subcoalgebras, bisimulations and prove that the category of coalgebras of the MV-functor is complete and cocomplete. Moreover, we add a topological structure based on filters of the underlined BL-algebras and obtain topological MV-coalgebras. We construct an inverse system in the category of MV-coalgebras and show that the category of topological MV-coalgebras is complete, cocomplete and strong-monotopological over the category of MV-coalgebras. We also introduce Q-coalgebras over local BL-algebras ( which are BL-algebras with a unique maximal filter) and local BL-frames. We show that the corresponding categories are isomorphic, establishing a link between coalgebras over BL-algebras and modal logic | fr_FR |
dc.format.extent | 100 p. | fr_FR |
dc.publisher | Université de Yaoundé I | fr_FR |
dc.subject | Coalgebra | fr_FR |
dc.subject | BL-algebra | fr_FR |
dc.subject | Filter | fr_FR |
dc.subject | Modal logic | fr_FR |
dc.subject | Topological space | fr_FR |
dc.title | A coalgebraic study of BL-algebras | fr_FR |
dc.type | Thesis | - |
Collection(s) : | Thèses soutenues |
Fichier(s) constituant ce document :
Fichier | Description | Taille | Format | |
---|---|---|---|---|
FS_THESE_BC_24_ 0102.PDF | 1.89 MB | Adobe PDF | ![]() Voir/Ouvrir |
Tous les documents du DICAMES sont protégés par copyright, avec tous droits réservés.