Fuzzy Sets and Systems ( IF 3.9 ) Pub Date : 2020-07-21 , DOI: 10.1016/j.fss.2020.07.013 Shailendra Singh , S.P. Tiwari
This paper is towards the study of L-fuzzy automata from the categorical point of view, where L is a complete residuated lattice. We introduce a functor having both the left/right adjoint from the category of L-fuzzy Σ-semiautomata to the category LFTCRL(Σ), a category of complete residuated lattices corresponding to L-fuzzy Σ-semiautomata. The L-fuzzy response map of an L-fuzzy automaton leads us to provide a characterization of an L-fuzzy regular language. Interestingly, we show that the category is a category of -coalgebras/-dialgebras. Moreover, we establish a relationship between the category of -coalgebras and the category of -dialgebras.
中文翻译:
关于L-模糊自动机、余代数和二代数的范畴
本文是从分类的角度研究L-模糊自动机,其中L是一个完全剩余格。我们从L -fuzzy Σ-semiautomata的范畴中引入了一个同时具有左/右伴随的函子到类别LFTCRL (Σ),对应于L-模糊 Σ-半自动机的完整剩余格的类别。L -模糊自动机的L -模糊响应图引导我们提供L -模糊正则语言的特征。有趣的是,我们证明了类别 是一类 - 代数/- 代数。此外,我们建立了类别之间的关系- 代数和范畴 - 代数。