All Questions
Tagged with gn.general-topology ct.category-theory
43
questions with no upvoted or accepted answers
24
votes
0
answers
899
views
The topologies for which a presheaf is a sheaf?
Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal.
Suppose that $Q$ is a presheaf on $...
- 8,327
17
votes
0
answers
936
views
"Next steps" after TQFT?
(Disclaimer: I'm rather nervous that this isn't appropriate for MathOverflow, but given the contents of my question I don't really know a better place to ask something like this.)
Recently, I've been ...
- 357
9
votes
0
answers
185
views
Is the category of all topological spaces, including the bad ones, simplicially tensored and cotensored?
Let $\textbf{Top}$ be the category of all topological spaces, including the bad ones.
We can make $\textbf{Top}$ into a simplicially enriched category as follows:
Given topological spaces $X$ and $Y$,...
- 14.8k
9
votes
0
answers
214
views
Point-free topology, but with $\sigma$-algebras instead of spaces
I have a question about $\sigma$-algebras in relation to point-free topology. The question was inspired by a comment on a similar question I had:
If abstract $\sigma$-algebras (i.e. certain boolean ...
- 4,647
9
votes
0
answers
279
views
Which nice subcategories of $\mathsf{Top}$ are locally cartesian closed?
For a class $\mathcal{J}$ of topological spaces, let $\mathsf{Top}_\mathcal{J}$ denote the category of $\mathcal{J}$-generated spaces, i.e. those spaces $X$ such that $U\subseteq X$ is open iff $f^{-1}...
- 59k
9
votes
0
answers
360
views
Is there Ultracoproduct-like construction for topological spaces in general?
In
http://arxiv.org/pdf/math/9704205.pdf
they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink ...
- 191
8
votes
0
answers
159
views
The pro-discrete space of quasicomponents of a topological space
Let $X$ be a topological space.
Consider the functor $P^X : \textbf{Set} \to \textbf{Set}$ that sends each set $Y$ to the set of continuous maps $X \to Y$.
It is not hard to check that $P^X : \textbf{...
- 14.8k
7
votes
0
answers
253
views
When is the exponential of a map proper?
Let $X$ be a compact Hausdorff space. Then if $f: A \to B$ is a map between discrete spaces, the induced map $f^\ast: X^B \to X^A$ is proper.
Question: Are there other classes of map $f: A \to B$ ...
- 59k
7
votes
0
answers
308
views
The self-duality of topological compactness
The impatient reader can skip my attempt at motivation and go straight my "Question formulations for the impatient."
In a failed(?) attempt at discovering something new, some years ago I ...
- 17.2k
6
votes
0
answers
204
views
Generalizing uniform structures as Grothendieck topologies
Recently, I was reading a classical book "Sheaves in Geometry and Logic" by S. MacLane and I. Moerdijk, and then it stroke me that, that the definition of Grothendieck Topology bears some ...
- 447
6
votes
0
answers
186
views
Making the analogy of finiteness and compactness precise
If one asks about the intution behind compact topological spaces, most often one will hear the mantra
“Compactness of a topological space is a generalisation of the finiteness of a set.”
For example,...
- 1,093
6
votes
0
answers
202
views
Compact Hausdorff spaces as a cocompletion of profinite sets
It is well-known that the category CH of compact Hausdorff spaces has a strong categorical flavor (e.g. Properties of the category of compact Hausdorff spaces, which includes Manes' theorem asserting ...
- 1,916
6
votes
0
answers
146
views
Spatiality of products of locally compact locales
In Johnstone´s Sketches of an Elephant Volume 2, page 716,
lemma 4.1.8 states that for spatial locales $X$ and $Y$ with $X$ locally compact then the locale product $X\times Y$ is spatial.
Is this ...
- 159
6
votes
0
answers
320
views
Terminology for notion dual to "support"
If $X$ is a set (feel free to think of it as finite, but it doesn't have to be) and $f$ a real function on $X$, call the support $\operatorname{supp} f$ the subset of $X$ consisting of all elements $i\...
- 19.8k
5
votes
0
answers
122
views
Is the opposite of the category of $\kappa$-Lindelöf Hausdorff spaces locally presentable?
Gelfand duality tells us that the category of compact Hausdorff spaces (with continuous maps as morphisms) is contravariantly equivalent to the category of commutative, unital $C^\ast$-algebras (with $...
- 59k
5
votes
0
answers
185
views
What are all of the topological (commutative) monoid structures on a closed interval?
Consider a closed real interval $[a,b]$ as a toplogical space. Up to homeomeorphism it doesn't matter, but I like to take $[a,b] = [0,\infty]$.
Question 1: What are all of the topological commutative ...
- 59k
5
votes
0
answers
167
views
What is known about these "explicitly represented" spaces?
Apologies if this is too low-level. A related question that I asked on the Math Stack Exchange got no answers after a year, so I thought it might be better to ask this one here.
The standard approach ...
- 3,398
5
votes
0
answers
156
views
For which topological spaces does pullback along $\operatorname{ev}_0:B^I\to B$ have a right adjoint?
Let $B$ be a topological space. Consider the evaluation at zero of paths in $B$. This is a continuous map $\operatorname{ev}_0:B^I\to B$ where the domain carries the compact-open topology.
For which ...
- 10.3k
5
votes
0
answers
311
views
What is the local structure of a fibration?
It's sometimes said that a fibration is a fiber bundle which is not locally trivial. I'd like to make this precise, by identifying the "local models" on which fibrations are modeled.
Here I'd like ...
- 59k
5
votes
0
answers
70
views
Does the $D$-property have universal objects?
A space $(X,\tau)$ is called a $D$-space if whenever one is given a neighborhood $N(x)$ of $x$ for each $x\in X$, then there is a closed discrete subset $D\subseteq X$ such that $\{N(x): x\in D\}$ ...
- 44.5k
4
votes
0
answers
192
views
path category and classifying space
Let $\mathbf{Top}$ be the category of topological spaces and continuous maps, and $\mathbf{Cat}$ be the category of small categories and functors.
There is a path functor $\mathcal{P}:\mathbf{Top}\to \...
- 123
4
votes
0
answers
211
views
Inductive limit of inclusions
Let $(\Lambda, \le)$ be a directed system and $\{ X_{\alpha} \}_{\alpha \in \Lambda}$ be a family of topological spaces indexed by $\Lambda$ such that $X_{\alpha} \subseteq X_{\beta}$ whenever $\alpha ...
- 173
4
votes
0
answers
68
views
Need to know if a certain full subcategory of Top is cartesian closed
Consider the full subcategory of Top consisting of all spaces $X$ such that a subset $A$ of $X$ is closed if and only if $A \cap K$ is closed in $K$ for all subspaces $K$ of $X$ which are countably ...
- 1,943
4
votes
0
answers
477
views
A slightly canonical way to associate a scheme to a Noetherian spectral space
Let $C$ be the category whose objects are Noetherian spectral topological spaces and whose morphisms are homeomorphisms. Let $\mathrm{AffSch}$ be the category of Noetherian affine schemes (morphisms ...
user139951
3
votes
0
answers
88
views
Constructively valid reference for the soberness of discrete spaces and points of a locale coproduct
I am looking for constructively valid references for the following two related facts:
discrete topological spaces are sober,
the points of a locale coproduct are the disjoint union of the points of ...
- 28.7k
3
votes
0
answers
131
views
Colimits of weak Hausdorff $k$-spaces
Notations:
$\mathbf{T}$ is the category of weak Hausdorf $k$-spaces.
$\mathbf{K}$ is the category of $k$-spaces.
Fact: The inclusion functor $\mathbf{T} \subset \mathbf{K}$ is a right adjoint. It ...
- 3,697
3
votes
0
answers
110
views
Functorial description of irreducibility of topological space?
This is a crosspost of this MSE question.
A topological space is connected if it's not the coproduct of two non-trivial spaces. Equivalently, it is connected if the copresheaf it represents preserves ...
- 10.3k
3
votes
0
answers
130
views
Duality for continuous lattices based on [0, 1]
A continuous lattice may be defined as a complete lattice in which arbitrary meets distribute over directed joins. A continuous lattice is naturally regarded as an algebraic structure where the ...
- 133
2
votes
1
answer
344
views
Closed embedding into a normal Hausdorff space and left lifting property
I am trying to understand the characterization of the class of closed embeddings into a normal Hausdorff space as the class of continuous maps satisfying the left lifting property with respect to a ...
- 3,697
2
votes
0
answers
193
views
Products of cones and cones of joins
The join of $A$ and $B$ is the pushout of the diagram
$$
CA \times B \gets A\times B \to A\times CB,
$$
which can be formulated in either the pointed or unpointed topological
category. This pushout is ...
- 12.4k
2
votes
0
answers
95
views
Projective objects for compact po-spaces
Let us consider the following definition: a compact po-space is a pair $(X,\leq)$ where $X$ is a compact space and $\leq$ is an order, closed on $X^2$. Then, we can consider the category $KPoSp$ whose ...
- 21
2
votes
0
answers
60
views
Dual equivalence for multioperators
This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...
- 997
2
votes
0
answers
175
views
Monadicity of profinite algebras
We can show that the category of profinite algebras, cofiltered limits of finite algebras, is monadic over Stone spaces as follows. So, I wonder if there are any other examples.
In case that I was ...
- 121
2
votes
0
answers
177
views
A categorical analogue of Debreu's independent factors theorem
Background
A major question in Decision Theory is that of the cardinal meaning of a utility function. That is, given a set $X$, a utility function $u:X\rightarrow \mathbb{R}$ represents the choices ...
2
votes
0
answers
163
views
Local cartesian closedness in the category of compactly generated spaces
According the the nLab, the category of compactly generated (CG) spaces is not locally cartesian closed.
So if $A$ is a CG space and $C$ a CG space above $A$, $C$ may not be exponentiable.
What if we ...
- 2,973
2
votes
0
answers
512
views
Direct Limits and Limits of Nets
A net is a function from a directed set into a topological space, and it is said to converge to a point if certain conditions are satisfied. Similarly, a direct system is a function from a directed ...
- 14.9k
2
votes
0
answers
213
views
Is the realization of a proper map of simplicial spaces proper ?
Let $f:X \rightarrow Y$ be a map of $m$-dimensional simplicial spaces (which means that all simplices above dimension $m$ are degenerate). Recall, that $f$ is a natural transformation of functors from ...
- 10.1k
1
vote
0
answers
194
views
Surjectivity of colimit maps for topological spaces
From this post and to (co)completness of the category Top of topological spaces and continuous functions we know that for any diagram $B_i$ and an object $A$ in Top, there are natural maps of sets:$\...
- 5,001
1
vote
0
answers
115
views
Stone duality- a modification
Let $2$ be the discrete topological space with two elements. For a map of sets
$$\beta : X \times Y \rightarrow 2 $$
We get a topology on $X$ and a topology on $Y$. The topology on $X$ is the weakest ...
- 4,647
1
vote
0
answers
178
views
$\mathbb E$-descent maps in topological spaces in terms of different sites?
The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories.
...
- 11
1
vote
0
answers
124
views
Category-theoretic characterization of zero-dimensional spaces
Some background: a zero-dimensional space is one admitting a basis of clopen sets, whereas an extremely disconnected space is one where the closures of open sets are open. In the category CHauss of ...
- 369
1
vote
0
answers
229
views
Sum-epimorphisms and prod-monomorphisms
Sum-epimorphisms
A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition:
DEFINITION 1 ...
- 7,424
1
vote
0
answers
162
views
The category of discontinuous Banach spaces
A banach space is discontinuous if it is isometric to $DC(X)$ for some Hausdorff topological space $X$. ($DC(X)$ is defined here. We denote by $DBan$, the category of all discontinuous ...
- 280