We demonstrate how category theory provides specifications that can efficiently be implemented via imperative algorithms and apply this to the field of graph transformation. By examples, we show paradigm software development makes it easy quickly write correct performant code. provide a modern implementation rewriting techniques at level abstraction finitely-presented $$\mathcal C$$ -sets clari...

This paper presents the concepts of $(L,M)$-fuzzy Q-convergence spaces and stratified $(L,M)$-fuzzy Q-convergence spaces. It is shown that the category of stratified $(L,M)$-fuzzy Q-convergence spaces is a bireflective subcategory of the category of $(L,M)$-fuzzy Q-convergence spaces, and the former is a Cartesian-closed topological category. Also, it is proved that the category of stratified $...

In this paper, new definitions of $L$-fuzzy closure operator, $L$-fuzzy interior operator, $L$-fuzzy remote neighborhood system, $L$-fuzzy neighborhood system and $L$-fuzzy quasi-coincident neighborhood system are proposed. It is proved that the category of $L$-fuzzy closure spaces, the category of $L$-fuzzy interior spaces, the category of $L$-fuzzy remote neighborhood spaces, the category of ...

In this paper,  it is shown that the category of $L$-ordered fuzzifying convergence spaces contains the category of pretopological $L$-ordered fuzzifying convergence spaces as a bireflective subcategory and the latter contains the category of topological $L$-ordered fuzzifying convergence spaces as a bireflective subcategory. Also, it is proved that the category of $L$-ordered fuzzifying conver...