Directory UMM :Journals:Journal_of_mathematics:OTHER:
Teks penuh
Dokumen terkait
Motivated by this fact, we define the concept of a τ-distance function in a general topological space (X, τ) and we prove that symmetrizable topological spaces ([5]) and
A celebrated theorem of Birkhoff’s says that a subcategory of the category of algebras for a signature is given by a set of equations (which is to say, an equivalence relation on
This classifying topos contains as a cartesian closed reflective subcategory the category of all groupoids (= small categories in which every morphism is invertible) just as
Topological properties of the spaces of analytic test functions and dis- tributions are investigated in the framework of the general theory of non- archimedean locally convex
Motivated by this fact, we define the concept of a τ -distance function in a general topological space ( X, τ ) and we prove that symmetrizable topological spaces ([5]) and
4) In Example 2) replace cat by top and rename objects as points. However, if top is to be understood as the category of all topological spaces then we do not have a functor V
Every atomic Dedekind category R with relational sums and subobjects is equivalent to a category of matrices over a suitable basis.. This basis is the full proper subcategory induced
Now since q preserves limits as well as colimits (by Proposition 2.4), it follows from Theorem 2.2 that the equifier subcategory inside the category of coalgebras is a
