Free Modules over Cartesian Closed Topological Categories

نویسنده

  • Gavin J. Seal
چکیده

The construction of free R-modules over a cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a cartesian closed topological category.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cartesian Closed Topological Categories and Tensor Products

The projective tensor product in a category of topologicalR-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the cartesian closedness of X is related to the monoidal...

متن کامل

Cartesian closed subcategories of topological fuzzes

A category $mathbf{C}$ is called Cartesian closed  provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$  of all topological fuzzes is both complete  and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...

متن کامل

On the Relationship between Filter Spaces and Equilogical Spaces

It was already known that the category of T 0 topological spaces is not itself cartesian closed, but can be embedded into the cartesian closed categories FIL of lter spaces and EQU of equilogical spaces where the latter embeds into the cartesian closed category ASSM of assemblies over algebraic lattices. Here, we rst clarify the notion of lter space|there are at least three versions FIL a FIL b...

متن کامل

Characterization of stratified L-topological spaces by convergence of stratified L-filters

L-sets over a base set X are generalizations of classical sets where subsets are not specified by characteristic functions from X to {0, 1} but rather by functions from X to a lattice L. For an L-set a ∈ L and an element x ∈ X, a(x) is interpreted as the grade of membership of x in a. Stratified L-topological spaces are generalizations of topological spaces to the L-set case [1]. In [2], strati...

متن کامل

$L-$ordered Fuzzifying Convergence Spaces

Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 13  شماره 

صفحات  -

تاریخ انتشار 2005