Categorical Properties of Soft Sets

Abstract

The present study investigates some novel categorical properties of soft sets. By combining categorical theory with soft set theory, a categorical framework of soft set theory is established. It is proved that the categorySFunof soft sets and soft functions has equalizers, finite products, pullbacks, and exponential properties. It is worth mentioning that we find thatSFunis both a topological construct and Cartesian closed. The categorySRelof soft sets andZ-soft set relations is also characterized, which shows the existence of the zero objects, biproducts, additive identities, injective objects, projective objects, injective hulls, and projective covers. Finally, by constructing proper adjoint situations, some intrinsic connections betweenSFunandSRelare established.