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...

Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coproducts, initial algebras and terminal coalgebras. In the present paper we show that, surprisingly, the category of containers is cartesian closed, giving rise to a full cartesian closed subcategory of endofunctors. The ...

In this paper, we define a kind of lattice-valued convergence spaces based on the notion of $top$-filters, namely $top$-convergence spaces, and show the category of $top$-convergence spaces is Cartesian-closed. Further, in the lattice valued context of a complete $MV$-algebra, a close relation between the category of$top$-convergence spaces and that of strong $L$-topological spaces is establish...

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.