Partiality, cartesian closedness, and toposes

THE CATEGORY OF T-CONVERGENCE SPACES AND ITS CARTESIAN-CLOSEDNESS

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

Infinite Dimensional Spaces and Cartesian Closedness

Infinite dimensional spaces frequently appear in physics; there are several approaches to obtain a good categorical framework for this type of space, and cartesian closedness of some category, embedding smooth manifolds, is one of the most requested condition. In the first part of the paper, we start from the failures presented by the classical Banach manifolds approach and we will review the m...

Cartesian Closedness in Cat - Egories of Partial

Keywords: Exponential subcategory of a category, cartesian closed category, initially structured category, category of partial algebras of the same type, partial algebra fulllling the interchange law, diagonal partial algebra. Abstract: We study categories of partial algebras of the same type. In these categories we deene a binary operation of exponentiation for objects and investigate its beha...

Exponential objects and Cartesian closedness in the constructPrtop

Mathematica Pannonica CARTESIAN CLOSEDNESS IN CAT EGORIES OF PARTIAL ALGEBRAS

We study categories of partial algebras of the same type In these categories we de ne a binary operation of exponentiation for objects and investigate its behaviour We discover two cartesian closed initially structured subcategories in every category of partial algebras of the same type It is well known that concrete categories having well behaved func tion spaces i e being initially structured...