Category of fuzzy hyper BCK-algebras

Joseph Dongho

DOI: https://doi.org/10.48550/arXiv.1101.2471

2011-01-13

Abstract:In this paper we first define the category of fuzzy hyper BCK- algebras. After that we show that the category of hyper BCK-algebras has equalizers, coequalizers, products. It is a consequence that this category is complete and hence has pullbacks.

Category Theory

What problem does this paper attempt to address?

Fuzzifying BCK-Algebras

Guang-ji ZHANG,Cheng ZHANG,Kai-qi ZOU

DOI: https://doi.org/10.3969/j.issn.1001-7402.2001.02.006

2001-01-01

Abstract:In this paper, we define the concepts of fuzzifying subalgebras, fuzzifying ideals,and fuzzifying implicative ideals in BCK-algebras and discuss their properties and relations among them.
Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras

Kholood M. Alsager,Sheza M. El-Deeb

DOI: https://doi.org/10.3390/math12182925

IF: 2.4

2024-09-21

Mathematics

Abstract:This paper presents the novel concept of rough intuitionistic fuzzy ideals within the realm of BCK-algebras and investigates their fundamental properties. Furthermore, we introduce a set-valued homomorphism over a BCK-algebra, laying the foundation for the establishment of T-rough intuitionistic fuzzy ideals. The characterization of these innovative ideals is accomplished by employing the (α,β)-cut of intuitionistic fuzzy sets in the context of BCK-algebras.

mathematics
The Pointwise Characterizations of Fuzzy Implicative Ideal in BCK-algebras

Changhui Li

2007-01-01

Abstract:Using the notion of fuzzy point,the concept of weak implicative ideal is introduced,and the equivalence between fuzzy implicative ideal and weak implicative ideal,weak ideal and weak implicative ideal are also given.
Multipolar Intuitionistic Fuzzy Set with Finite Degree and Its Application in BCK/BCI-Algebras

Kyung Tae Kang,Seok-Zun Song,Young Bae Jun

DOI: https://doi.org/10.3390/math8020177

IF: 2.4

2020-02-02

Mathematics

Abstract:When events occur in everyday life, it is sometimes advantageous to approach them in two directions to find a solution for them. As a mathematical tool to handle these things, we can consider the intuitionistic fuzzy set. However, when events are complex and the key to a solution cannot be easily found, we feel the need to approach them for hours and from various directions. As mathematicians, we wish we had the mathematical tools that apply to these processes. If these mathematical tools were developed, we would be able to apply them to algebra, topology, graph theory, etc., from a close point of view, and we would be able to apply these research results to decision-making and/or coding theory, etc., from a distant point of view. In light of this view, the purpose of this study is to introduce the notion of a multipolar intuitionistic fuzzy set with finite degree (briefly, k-polar intuitionistic fuzzy set), and to apply it to algebraic structure, in particular, a BCK/BCI-algebra. The notions of a k-polar intuitionistic fuzzy subalgebra and a (closed) k-polar intuitionistic fuzzy ideal in a BCK/BCI-algebra are introduced, and related properties are investigated. Relations between a k-polar intuitionistic fuzzy subalgebra and a k-polar intuitionistic fuzzy ideal are discussed. Characterizations of a k-polar intuitionistic fuzzy subalgebra/ideal are provided, and conditions for a k-polar intuitionistic fuzzy subalgebra to be a k-polar intuitionistic fuzzy ideal are provided. In a BCI-algebra, relations between a k-polar intuitionistic fuzzy ideal and a closed k-polar intuitionistic fuzzy ideal are discussed. A characterization of a closed k-polar intuitionistic fuzzy ideal is considered, and conditions for a k-polar intuitionistic fuzzy ideal to be closed are provided.

mathematics
Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra

C. Matthew Evans

2024-07-02

Abstract:Given a complete atomic Boolean algebra, we show there is a commutative BCK-algebra whose ideal lattice is that Boolean algebra. This result is shown to exist within a larger framework involving BCK-algebras of functions, whose ideals and prime ideals are analyzed by way of a specific Galois connection. As a corollary of the main theorem, we show that every discrete topological space is the prime spectrum of a cBCK-algebra.

Rings and Algebras
Weak Tensor Category and Related Generalized Hopf Algebras

Fang Li,

DOI: https://doi.org/10.1007/s10114-005-0659-5

2006-01-01

Acta Mathematica Sinica English Series

Abstract:There are at least two kinds of generalization of Hopf algebra,i.e.pre-Hopf algebra andweak Hopf algebra.Correspondingly,we have two kinds of generalized bialgebras,almost bialgebraand weak bialgebra.Let =（,,I,a,l,r）be a tensor category.By giving up I,l,r and keeping,a in ,the first author got so-called pre-tensor category =（,,a）and used it to characterizealmost bialgebra and pre-Hopf algebra in Comm.in Algebra,32（2）:397-441（2004）.Our aim in thispaper is to generalize tensor category =（,,I,a,l,r）by weakening the natural isomorphismsl,r,i.e.exchanging the natural isomorphism ll -1 =rr -1 =id into regular natural transformationslll=l,rrr=r with some other conditions and get so-called weak tensor category so as to characterizeweak bialgebra and weak Hopf algebra.The relations between these generalized（bialgebras）Hopfalgebras and two kinds generalized tensor categories will be described by using of diagrams.Moreover,some related concepts and properties about weak tensor category will be discussed.
The Right Braids, Quasi-braided Pre-tensor Categories, and General Yang–Baxter Operators

F Li

DOI: https://doi.org/10.1081/agb-120027905

2004-01-01

Communications in Algebra

Abstract:Abstract This work is a development of braids, tensor categories and Yang–Baxter operators. According to Li [Li, F. (1998). Weak Hopf algebras and some new solution of quantum Yang-Baxter equation. J. Algebra 208:72–100; Li, F. (2000). Solutions of Yang-Baxter equation in endomorphism semigroup and quasi-(co)braided almost bialgebras. Comm. Algebra 28(5):2253–2270], it can be seen as a continuation of studying (not necessarily invertible) solutions of the (quantum) Yang–Baxter equation. We firstly introduce the right braid monoids and discuss their properties. Then, we define pre-tensor categories, pre-tensor functors and quasi-braided pre-tensor categories, and investiage their characterizations. Three examples are given from respectively a weak Hopf algebra, a crossed S-set of a Clifford monoid and the (strict) right braid category. Two universalities of the (strict) right braid category are gotten in order to characterize a category of general Yang–Baxter operators and a quasi-braided pre-tensor category. In a pre-tensor category we build a general centre of a pre-tensor category as a generalization of a centre and show that it is a quasi-braided pre-tensor category. At the end, a categorical interpretation of the quantum quasi-double of a weak Hapf algebra is obtained under a certain condition.
Cylinder Coalgebras and Cylinder Coproducts for Quasitriangular Hopf Algebras

LI Fang

DOI: https://doi.org/10.3770/j.issn.2095-2651.2006.04.001

2006-01-01

Abstract:This paper introduces the concepts of cylinder coalgebras and cylinder coproducts for quasitriangular bialgebras,and points out that there exists an anti-coaigebra isomorphism (H,■)■(H,■),where (H,■) is the cylinder coproduct,and (H,■) is the braided coproduct given by Kass.For any finite dimensional Hopf algebra H,the Drinfel'd double (D(H),■D(H)) is proved to be the cylinder coproduct.Let (H,H,R) be copaired Hopf algebras.If R∈Z(H■ H) with inverse R~(-1) and skew inverse ■,then the twisted coalgebra (H■)~(R~(-1)) is constructed via twice twists,whose comultiplication is exactly the cylinder coproduct.Moreover,for any generalized Long dimodule,some solutions for Yang-Baxter equations,four braid pairs and Long equations are constructed via cylinder twists.
Complex fuzzy Lie Algebras

Shadi Shaqaqha

DOI: https://doi.org/10.48550/arXiv.1905.01687

2019-05-05

Rings and Algebras

Abstract:A complex fuzzy Lie algebra is a fuzzy Lie algebra whose membership function takes values in the unit circle in the complex plane. In this paper, we deine the complex fuzzy Lie subalgebras and complex fuzzy ideals of Lie algebras. Then, we investigate some of characteristics of complex fuzzy Lie subalgebras. The relationship between complex fuzzy Lie subalgebras and fuzzy Lie subalgebras is also investigated. Finally, we define the image and the inverse image of complex fuzzy Lie subalgebra under Lie algebra homomorphism. The properties of complex fuzzy Lie subalgebras and complex fuzzy ideals under homomorphisms of Lie algebras are studied.
Fuzzy cylinders of finite length

Andreas Sykora

2023-09-09

Abstract:We introduce non-commutative algebras, which can be associated with the function algebra of functions on a finite or half-finite cylinder. The algebras, which depend on a deformation parameter, are crossed product algebras of a partial group action of $\mathbb{Z}$ on an interval of the real line $\mathbb{R}$. Discrete representations of the algebras can be seen as matrix regularizations of the respective function algebra on the finite or half-finite cylinder and therefore as fuzzy space. In a second part of the article, we review crossed product algebras based on partial group actions and derive the results needed in the first part.

Quantum Algebra
BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Ben Davison,Lucien Hennecart,Sebastian Schlegel Mejia

2024-02-15

Abstract:We determine the structure of the BPS algebra of $2$-Calabi-Yau Abelian categories whose stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major examples include the BPS algebras of (1) the category of semistable coherent sheaves of given slope on a K3 surface or, more generally, quasiprojective symplectic surface, (2) semistable Higgs bundles on smooth projective curves, (3) preprojective algebras of quivers, (4) multiplicative preprojective algebras and (5) fundamental groups of (quiver) Riemann surfaces. We define the BPS Lie algebras of $2$-Calabi-Yau categories and prove that they coincide with the ones obtained by dimensional reduction from the critical cohomological Hall algebra in the case in which the 2-Calabi-Yau category is the category of representations of a preprojective algebra. Consequences include (1) A proof in full generality of the Bozec-Schiffmann positivity conjecture for absolutely cuspidal polynomials, a strengthening of the Kac positivity conjecture (2) A proof of the cohomological integrality conjecture for the category of semistable coherent sheaves on local K3 surfaces (3) A description of the cohomology (in all degrees) of Nakajima quiver varieties as direct sums of irreducible lowest weight representations over the BPS Lie algebra.

Representation Theory,Mathematical Physics,Algebraic Geometry,Quantum Algebra
Some properties of pseudo-BCK- and pseudo-BCI-algebras

Petr Emanovský,Jan Kühr

DOI: https://doi.org/10.48550/arXiv.1808.10697

2018-08-31

Rings and Algebras

Abstract:Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero, Rep. Math. Log. 34 (2000) 23-57], we show that pseudo-BCI-algebras are the residuation subreducts of semi-integral residuated po-monoids and characterize those pseudo-BCI-algebras which are direct products of pseudo-BCK-algebras and groups (regarded as pseudo-BCI-algebras). We also show that the quasivariety of pseudo-BCI-algebras is relatively congruence modular; in fact, we prove that this holds true for all relatively point regular quasivarieties which are relatively ideal determined, in the sense that the kernels of relative congruences can be described by means of ideal terms.
A categorical view of varieties and equations

Jose Avila

2023-10-11

Abstract:We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially subvarieties of algebraic categories, and we get a generalization of Birkhoff's variety theorem. In particular, we show that Birkhoff varieties are coreflexive equalizers. The key of this generalization is to give a more general concept of equation for subvarieties of algebraic categories. In order to get our characterization of Birkhoff varieties, we study inserters over algebraic categories, where we generalize some well-known results of algebras for finitary endofunctors over $Set$. By duality, we obtain a characterization of cosubvarieties of coalgebraic categories. Surprisingly, these cosubvarieties turn to be varieties according to our theory of varieties.

Category Theory
Discrete Inclusions of C*-algebras

Roberto Hernández Palomares,Brent Nelson

2024-08-27

Abstract:We introduce the category of C*-discrete inclusions of C*-algebras $A\subset B$ with a faithful conditional expectation $E:B\twoheadrightarrow A$. This class includes many examples such as finite Watatani index inclusions, and also abundant infinite index inclusions like crossed products by outer actions of discrete (quantum) groups and unitary tensor categories. We prove irreducible $(A'\cap B= \mathbb{C}1)$ C*-discrete inclusions are precisely crossed products by outer actions of unitary tensor categories and certain C*-algebra objects.

Operator Algebras,Quantum Algebra
The category of categories with pullbacks is cartesian closed

John Bourke

DOI: https://doi.org/10.48550/arXiv.0904.2486

2009-04-16

Abstract:We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.

Category Theory
Fuzzy Categories

Apostolos Syropoulos

DOI: https://doi.org/10.48550/arXiv.1410.1478

2014-10-07

Abstract:Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility degree that determines to what extend it is possible to "go" from one object to another one. These categories are called {\em fuzzy categories}. Of course, the basic properties of these categories are similar but not identical to their ordinary counterparts. Thus, it is necessary to introduce notion like fuzzy commutative diagrams, fuzzy initial and fuzzy terminal objects, etc.

Logic in Computer Science
Categorification of quantum Borcherds-Bozec algebras

Seok-Jin Kang,Young Rock Kim,Bolun Tong

2024-06-26

Abstract:We categorify the quantum Borcherds-Bozec algebras by constructing their associated Khovanov-Lauda-Rouquier algebras.

Representation Theory
Finite matrices are complete for (dagger-)hypergraph categories

Aleks Kissinger

DOI: https://doi.org/10.48550/arXiv.1406.5942

2015-08-19

Abstract:Hypergraph categories are symmetric monoidal categories where each object is equipped with a special commutative Frobenius algebra (SCFA). Dagger-hypergraph categories are the same, but with dagger-symmetric monoidal categories and dagger-SCFAs. In this paper, we show that finite matrices over a field K of characteristic 0 are complete for hypergraph categories, and that finite matrices where K has a non-trivial involution are complete for dagger-hypergraph categories.

Category Theory
Fuzzy N-Positive Implicative Ideal

詹建明

DOI: https://doi.org/10.3969/j.issn.1001-7011.2001.04.005

2002-01-01

Abstract:The notion of closed fuzzy n-positive implicative ideal of BCI-algebras is introduced and their properties are investigated.
NORMAL BCI/BCK-ALGEBRAS

Jie Meng,Shi-Ming Wei,Young Bae Jun

1994-01-01

Communications of the Korean Mathematical Society

Abstract:In 1966, Iseki [2] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. Lei and Xi [3] discussed a new class of BCI-algebra, which is called a p-semisimple BCI-algebra. For p-semisimple BCI-algebras, a subalgebra is an ideal. But a subalgebra of an arbitrary BCI/BCK-algebra is not necessarily an ideal. In this note, a BCI/BCK-algebra that every subalgebra is an ideal is called a normal BCI/BCK-algebra, and we give characterizations of normal BCI/BCK-algebras. Moreover we give a positive answer to the problem which is posed in [4].(omitted)

Category of fuzzy hyper BCK-algebras

Fuzzifying BCK-Algebras

Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras

The Pointwise Characterizations of Fuzzy Implicative Ideal in BCK-algebras

Multipolar Intuitionistic Fuzzy Set with Finite Degree and Its Application in BCK/BCI-Algebras

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra

Weak Tensor Category and Related Generalized Hopf Algebras

The Right Braids, Quasi-braided Pre-tensor Categories, and General Yang–Baxter Operators

Cylinder Coalgebras and Cylinder Coproducts for Quasitriangular Hopf Algebras

Complex fuzzy Lie Algebras

Fuzzy cylinders of finite length

BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Some properties of pseudo-BCK- and pseudo-BCI-algebras

A categorical view of varieties and equations

Discrete Inclusions of C*-algebras

The category of categories with pullbacks is cartesian closed

Fuzzy Categories

Categorification of quantum Borcherds-Bozec algebras

Finite matrices are complete for (dagger-)hypergraph categories

Fuzzy N-Positive Implicative Ideal

NORMAL BCI/BCK-ALGEBRAS