A topos is a category which looks and behaves very much like the category of sets, and so it
may be thought of as a universe for mathematical discourses. One of the very useful topoi in …

The notions of purity and equational compactness of universal algebras have been studied
by Banaschewski and Nelson. Also, Banaschewski deals with these notions in the special …

Closure operators have been used in Algebra and Topology. Wellknown examples are the
closure of a subspace of a topological space, or the normal closure of a subgroup of a …

Let S be a monoid. In this manuscript, our purpose is to study the notion of weak ideal
topology jI on the topos Act-S of all (right) representations of S, where I is a left ideal of S …

Action of a pomonoid on partially ordered sets (S-posets) has beautiful aspects in practical
subjects such as automata theory, projection algebra and theoretical computer science …

This thesis consists of three parts: First, the notion of a weak (Lawvere-Tierney) topology on
an (elementary) topos E is deeply analyzed. We present some essential differeneces …

Injectivity (weakly injectivity) of objects is an important concept which category theory
inherited from homological and commutative algebra. One of the useful kinds of weakly …

Since topoi were introduced, there have been efforts putting mathematics into the context of
topoi. Amongst known topoi, the topoi of sheaves or presheaves over a small category are of …

MR4553220 18B25 18F10 18F20 20M30 20M50 Mahmoudi, Mojgan (IR-SHBHM);
Sepahani, Sara (IR-SHBHM) The category ShjI MSet of sheaves in MSet.(English. English …

Since topoi were introduced, there have been efforts putting mathematics into the context of
topoi. Amongst known topoi, the topoi of sheaves or presheaves over a small category are of …