A protolocalisation of a regular category is a full reflective regular subcategory, whose reflection preserves pullbacks of regular epimorphisms along arbitrary morphisms. We devote special attention to the epireflective protolocalisations of an exact Mal’cev category; we characterise them in terms of a corresponding closure operator on equivalence relations. We give some examples in algebra an...

The aim of this paper is to study the categorical relations between matroids, Goetschel-Voxman’s fuzzy matroids and Shi’s fuzzifying matroids. It is shown that the category of fuzzifying matroids is isomorphic to that of closed fuzzy matroids and the latter is concretely coreflective in the category of fuzzy matroids. The category of matroids can be embedded in that of fuzzifying matroids as a ...

Any semi-abelian category A appears, via the discrete functor, as a full replete reflective subcategory of the semi-abelian category of internal groupoids in A. This allows one to study the homology of n-fold internal groupoids with coefficients in a semi-abelian category A, and to compute explicit higher Hopf formulae. The crucial concept making such computations possible is the notion of prot...

This paper is devoted to connections between trace monoids and cubical sets. We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets. Adjoint functors between the categories of cubical sets and trace monoid actions are constructed. These functors carry independence preserving morphisms in th...

In this paper,  fuzzy convergence theory in the framework of $L$-convex spaces is introduced. Firstly, the concept of $L$-convex remote-neighborhood spaces is introduced and it is shown that the  resulting category is isomorphic to that of $L$-convex spaces. Secondly, by means of $L$-convex ideals, the notion of $L$-convergence spaces is introduced and it is proved that the  category of $L$-con...

and Applied Analysis 3 In this paper, L always denotes a complete residuated lattice unless otherwise stated, and L denotes the set of all L-subsets of a nonempty set X. For all A,B ∈ L , we define A ∩ B x A x ∧ B x , A ∪ B x A x ∨ B x , A ∗ B x A x ∗ B x , A −→ B x A x −→ B x . 2.1 Then L, ∗, → ,∨,∧, 0, 1 is also a complete residuated lattice. If no confusion arises, we always do not discrimin...