Cartesian closed categories, quasitopoi and topological universes
Cartesian closed concrete categories
Cartesian closed functor-structured categories
Cartesian closed hull for metric spaces
Cartesian closed hull for (quasi-)metric spaces (revisited)
An existing description of the cartesian closed topological hull of , the category of extended pseudo-metric spaces and nonexpansive maps, is simplified, and as a result, this hull is shown to be a special instance of a “family” of cartesian closed topological subconstructs of , the category of extended pseudo-quasi-semi-metric spaces (also known as quasi-distance spaces) and nonexpansive maps. Furthermore, another special instance of this family yields the cartesian closed topological hull of...
Cartesian closed hull of uniform spaces
Cartesian closed topological hull of the construct of closure spaces.
Cartesian closedness in categories of partial algebras.
Cartesian-closed coreflective subcategories of uniform spaces
Catégories cartésiennement fermées engendrées par des monoïdes
Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales
Categories, norms and weights.
Categories of locally diagonal partial algebras.
Categories of sketched structures
Catégorification de structures définies par monade cartésienne
Categorification of Hopf algebras of rooted trees
We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec ℕ) whose semiring of functions is (a P-version of) the Connes-Kreimer bialgebra H of rooted trees (a Hopf algebra after base change to ℤ and collapsing H 0). The monoidal structure is itself given by a polynomial functor, represented by three easily described set maps; we show that these maps are the same as those occurring...
Chu-spaces, a group algebra and induced representations.
Closed categories and Banach spaces
Closed categories and topological vector spaces
Coherence of Proof-net Categories