DeepAI AI Chat
Log In Sign Up

A note on the category of c-spaces

11/23/2022
by   Z. Lyu, et al.
Sichuan University
NetEase, Inc
0

We prove that the category of c-spaces with continuous maps is not cartesian closed. As a corollary the category of locally finitary compact spaces with continuous maps is also not cartesian closed.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/15/2022

Saturated Kripke Structures as Vietoris Coalgebras

We show that the category of coalgebras for the compact Vietoris endofun...
05/19/2022

A Note on Categories about Rough Sets

Using the concepts of category and functor, we provide some insights and...
07/06/2018

On local presentability of T/A

We prove that if A is a locally λ-presentable category and T : A→A is a ...
03/20/2023

On Kripke, Vietoris and Hausdorff Polynomial Functors

The Vietoris space of compact subsets of a given Hausdorff space yields ...
11/19/2022

Representations of Domains via CF-approximation Spaces

Representations of domains mean in a general way representing a domain a...
02/10/2022

Formalized functional analysis with semilinear maps

Semilinear maps are a generalization of linear maps between vector space...
02/17/2022

Bilimits in categories of partial maps

The closure of chains of embedding-projection pairs (ep-pairs) under bil...