-
Etale spaces of residuated lattices
Authors:
Saeed Rasouli,
Seyed Naser Hosseini,
Amin Dehghani
Abstract:
This paper explores the concept of étalé spaces associated with residuated lattices. Notions of bundles and étalés of residuated lattices over a given topological space are introduced and investigated. For a topological space $\mathscr{B}$, we establish that the category of étalés of residuated lattices over $\mathscr{B}$ with morphisms of étalés of residuated lattices is coreflective in the categ…
▽ More
This paper explores the concept of étalé spaces associated with residuated lattices. Notions of bundles and étalés of residuated lattices over a given topological space are introduced and investigated. For a topological space $\mathscr{B}$, we establish that the category of étalés of residuated lattices over $\mathscr{B}$ with morphisms of étalés of residuated lattices is coreflective in the category of bundles of residuated lattices over $\mathscr{B}$ along with morphisms of bundles of residuated lattices. We provide a method for transferring an étalé of residuated lattices over a topological space to another, utilizing a continuous map. Finally, we define a contravariant functor, called the section functor, from the category of étalés of residuated lattices with inverse morphisms to the category of residuated lattices.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Quotients of span categories that are allegories and the representation of regular categories
Authors:
S. Naser Hosseini,
Amir R. Shir Ali Nasab,
Walter Tholen,
Leila Yeganeh
Abstract:
We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an allegory. In particular, when C carries a pullback-stable, but not necessarily proper, (E, M)-factorization system, we establish a quotient category Span_E(C) that i…
▽ More
We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an allegory. In particular, when C carries a pullback-stable, but not necessarily proper, (E, M)-factorization system, we establish a quotient category Span_E(C) that is isomorphic to the category Rel_M(C) of M-relations in C, and show that it is a (unitary and tabular) allegory precisely when M is a class of monomorphisms in C. Without this restriction, one can still find a least pullback-stable and composition-closed class E. containing E such that Span_E.(C) is a unitary and tabular allegory. In this way one obtains a left adjoint to the 2-functor that assigns to every unitary and tabular allegory the regular category of its Lawverian maps. With the Freyd-Scedrov Representation Theorem for regular categories, we conclude that every finitely complete category with a stable factorization system has a reflection into the huge 2-category of all regular categories.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
The exterior product and homology of Hom-Lie algebras
Authors:
Negur Shahni Karamzadeh,
Seyedeh Narges Hosseini,
Ali Reza Salemkar
Abstract:
In this article, we use the theory of (non-abelian) exterior product of Hom-Lie algebras to prove the Hopf formula for these algebras. As an application, we construct an eight-term sequence in the homology of Hom-Lie algebras. We also investigate the capability property of Hom-Lie algebras via the exterior product.
In this article, we use the theory of (non-abelian) exterior product of Hom-Lie algebras to prove the Hopf formula for these algebras. As an application, we construct an eight-term sequence in the homology of Hom-Lie algebras. We also investigate the capability property of Hom-Lie algebras via the exterior product.
△ Less
Submitted 24 April, 2021;
originally announced April 2021.
-
Some results on the second relative homology of Leibniz algebras
Authors:
Seyedeh Narges Hosseini,
Behrouz Edalatzadeh,
Ali Reza Salemkar
Abstract:
In this paper, the structure of the second relative homology and the relative stem cover of the direct sum of two pairs of Leibniz algebras are determined by means of the non-abelian tensor product of Leibniz algebras. We also characterize all pairs of finite dimensional nilpotent Leibniz algebras such that...
In this paper, the structure of the second relative homology and the relative stem cover of the direct sum of two pairs of Leibniz algebras are determined by means of the non-abelian tensor product of Leibniz algebras. We also characterize all pairs of finite dimensional nilpotent Leibniz algebras such that...
△ Less
Submitted 24 April, 2021;
originally announced April 2021.
-
Fraction, Restriction and Range Categories from Non-Monic Classes of Morphisms
Authors:
S. N. Hosseini,
A. R. Shir Ali Nasab,
W. Tholen
Abstract:
For a composition-closed and pullback-stable class S of morphisms in a category C containing all isomorphisms, we form the category Span(C,S) of S-spans (s,f) in C with first "leg" s lying in S, and give an alternative construction of its quotient category C[S^{-1}] of S-fractions. Instead of trying to turn S-morphisms "directly" into isomorphisms, we turn them separately into retractions and into…
▽ More
For a composition-closed and pullback-stable class S of morphisms in a category C containing all isomorphisms, we form the category Span(C,S) of S-spans (s,f) in C with first "leg" s lying in S, and give an alternative construction of its quotient category C[S^{-1}] of S-fractions. Instead of trying to turn S-morphisms "directly" into isomorphisms, we turn them separately into retractions and into sections in a universal manner, thus obtaining the quotient categories Retr( C,S) and Sect(C,S). The fraction category C[S^{-1}] is their largest joint quotient category.
Without confining S to be a class of monomorphisms of C, we show that Sect(C,S) admits a quotient category, Par(C,S), whose name is justified by two facts. On one hand, for S a class of monomorphisms in C, it returns the category of S-spans in C, also called S-partial maps in this case; on the other hand, we prove that Par(C,S) is a split restriction category (in the sense of Cockett and Lack). A further quotient construction produces even a range category (in the sense of Cockett, Guo and Hofstra), RaPar(C,S), which is still large enough to admit C[S^{-1}] as its quotient.
Both, Par and RaPar, are the left adjoints of global 2-adjunctions. When restricting these to their "fixed objects", one obtains precisely the 2-equivalences by which their name givers characterized restriction and range categories. Hence, both Par(C,S)$ and RaPar(C,S may be naturally presented as Par(D,T)$ and RaPa(D,T), respectively, where now T is a class of monomorphisms in D. In summary, while there is no {\em a priori} need for the exclusive consideration of classes of monomorphisms, one may resort to them naturally
△ Less
Submitted 20 October, 2019; v1 submitted 28 February, 2019;
originally announced March 2019.
-
On General Closure Operators and Quasi Factorization Structures
Authors:
S. Sh. Mousavi,
S. N. Hosseini,
A. Ilaghi-Hosseini
Abstract:
In this article the notions of (quasi weakly hereditary) general closure operator $\mb{C}$ on a category $\cx$ with respect to a class $\cm$ of morphisms, and quasi factorization structures in a category $\cx$ are introduced. It is shown that under certain conditions, if $(\ce, \cm)$ is a quasi factorization structure in $\cx$, then $\cx$ has quasi right $\cm$-factorization structure and quasi lef…
▽ More
In this article the notions of (quasi weakly hereditary) general closure operator $\mb{C}$ on a category $\cx$ with respect to a class $\cm$ of morphisms, and quasi factorization structures in a category $\cx$ are introduced. It is shown that under certain conditions, if $(\ce, \cm)$ is a quasi factorization structure in $\cx$, then $\cx$ has quasi right $\cm$-factorization structure and quasi left $\ce$-factorization structure. It is also shown that for a quasi weakly hereditary and quasi idempotent QCD-closure operator with respect to a certain class $\cm$, every quasi factorization structure $(\ce, \cm)$ yields a quasi factorization structure relative to the given closure operator; and that for a closure operator with respect to a certain class $\cm$, if the pair of classes of quasi dense and quasi closed morphisms forms a quasi factorization structure, then the closure operator is both quasi weakly hereditary and quasi idempotent. Several illustrative examples are furnished.
△ Less
Submitted 3 September, 2019; v1 submitted 22 December, 2014;
originally announced December 2014.