All Questions
Tagged with gn.general-topology ct.category-theory
183
questions
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
10
votes
1
answer
281
views
Analogue of Urysohn metrization for Lawvere metric spaces?
Urysohn proved that any regular, Hausdorff, second-countable space $X$ is metrizable, i.e. there exists a metric space whose underlying topological space is $X$. But what if we ask the same question ...
- 40.2k
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 ...
CommunityBot
- 1
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
4
votes
1
answer
469
views
Do CGWH spaces form an exponential ideal in Condensed Sets?
If $X$ is any condensed set and $Y$ is a compactly generated weak Hausdorff (CGWH) space (a.k.a. $k$-Hausdorff $k$-space), is $Y^X$ again a CGWH space? To be more precise, is $(\:\underline{Y}\,)^X$ ...
- 141
14
votes
1
answer
531
views
"Scott completion" of dcpo
If $A$ is poset with all directed suprema, it is common to consider the Scott topology on $A$, whose open subsets are the $U \subset A$ such that $U$ is upward closed and if $\bigcup_I a_i \in U $ for ...
- 17.3k
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
1
vote
1
answer
289
views
Is there anyway to formulate the Alexandrov topology algebraically?
One knows that the Alexandrov topology on a preordered set is the finest topology that induces the same [specialization] preorder on the set.
Given this, one finds a one-to-one correspondence between ...
- 167
6
votes
1
answer
430
views
Which maps of topological spaces have the right lifting property with respect to all split monomorphisms?
Let $p : X \to Y$ be a continuous map. We say that $p$ has the right lifting property with respect to split monomorphisms if, for every space $B$, and every retract $A \subseteq B$, and for every ...
- 53.6k
8
votes
1
answer
138
views
Stone-topological/profinite equivalence for quandles
A quandle $(Q,\triangleleft,\triangleleft^{-1})$ is a set $Q$ with two binary operations $\triangleleft,\triangleleft^{-1}:Q\times Q\to Q$ such that the following hold for all $x,y,z\in Q$:
(Q1) ...
- 36.8k
4
votes
1
answer
176
views
Profinite groups with isomorphic proper, dense subgroups are isomorphic
I am developing a sort of standard representation for profinite quandles. This involves profinite groups a lot, actually. In one part of my construction the filtered diagram used to construct a ...
- 59.4k
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
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
79
votes
5
answers
5k
views
Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?
The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...
- 685
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
9
votes
1
answer
396
views
Do compactly generated spaces have a more direct definition?
Is there an elementary way to define Haussdorf-compactly generated weakly Hausdorff topological spaces in a way that does not need defining topological space first?
Weakly Hausdorff sequential spaces ...
- 59k
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
9
votes
1
answer
563
views
Does the category of locally compact Hausdorff spaces with proper maps have products?
nlab presents a proof that the category of locally compact Hausdorff spaces does not admit infinite products in general. In particular it shows that there is no infinite product of $\mathbb{R}$, since ...
- 59.4k
17
votes
3
answers
1k
views
Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?
Let $(X, \Sigma)$ denote a measurable space. Is there a non-trivial $\sigma$-algebra $\Sigma^1$ of subsets of $\Sigma$ so that $(\Sigma, \Sigma^1)$ is also a measurable space?
Here is one natural ...
- 658
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
37
votes
13
answers
4k
views
Continuous relations?
What might it mean for a relation $R\subset X\times Y$ to be continuous, where $X$ and $Y$ are topological spaces? In topology, category theory or in analysis? Is it possible, canonical, useful?
I ...
- 4,674
14
votes
3
answers
1k
views
Is there a universal property characterizing the category of compact Hausdorff spaces?
This is in some sense a follow up to the question asked here Properties of the category of compact Hausdorff spaces
To clarify: The category $\text{Prof}$ of profinite sets sits inside the category $\...
4
votes
1
answer
2k
views
How is the right adjoint $f_*$ to the inverse image functor $f^*$ described for functor categories $Set^C$, $Set^D$ and $f : C \to D$
For $C,D$ small categories, and $f : C \to D$ a functor between them, there is a precomposition, or "inverse image", functor $f^* = (-) \circ f : Set^D \to Set^C$. It has a left and a right adjoint. ...
- 477
6
votes
1
answer
151
views
Subobject classifier in $\mathsf{Top}^{D^{\text{op}}}$?
Let $D$ be a small category. Does the category of diagrams $\mathsf{Top}^{D^{\text{op}}}$ have a classifier of (strong?) subobjects? I tried following the "sieve construction" for the ...
- 2,859
7
votes
1
answer
254
views
Are closed embeddings characterized by a left lifting property in the category of topological spaces?
It is well-known and easy to check that a continuous map between topological spaces is an embedding if and only if it has the LLP with respect to $A \to *$ and $B \to *$ where $A$ is the two-point ...
- 7,576
3
votes
1
answer
178
views
An extension of Stone duality
First let me recall Stone duality in terms of propositional logic.
Let $L$ and $K$ be propositional signatures (i.e., sets of propositional variables). Let $T$ be a propositional theory over $L$ and $...
- 4,287
15
votes
6
answers
3k
views
Giving $\mathit{Top}(X,Y)$ an appropriate topology
$\DeclareMathOperator\Top{\mathit{Top}}$I am not sure if its OK to ask this question here.
Let $\Top$ be the category of topological spaces. Let $X,Y$ be objects in $\Top$.
Let $F:\mathbb{I}\...
- 59.4k
13
votes
1
answer
737
views
Is Top_4 (normal spaces) a reflective subcategory of Top_3 (regular spaces)?
I’m studying some category theory by reading Mac Lane linearly and solving exercises.
In question 5.9.4 of the second edition, the reader is asked to construct left adjoints for each of the inclusion ...
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
6
votes
1
answer
430
views
Why finitely presentable objects in Top need to be discrete?
In Locally Presentable and Accessible Categories, page 12 (10),
A topological space is finitely presentable in $\mathbf{Top}$, the category of topological spaces and continuous functions, iff it is ...
- 26.3k
7
votes
1
answer
321
views
Does the category of cosheaves have enough projectives?
Given a general topological space $X$ does the category $\mathbf{coShv}(X,\mathbf{Mod}_R)$ have enough projectives ? I know that under some conditions this is true, for example if $X$ is a cell ...
- 25.6k
35
votes
2
answers
5k
views
Why should have Peter May worked with CGWH instead of CGH in "The Geometry of Iterated Loop Space"?
This is a follow-up to Dan Ramras' answer of this question.
The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here).
The weak Hausdorff rather ...
- 25.6k
4
votes
1
answer
727
views
Adjunction between topological spaces and condensed sets
I am trying to prove that the functor
\begin{align*}
\mathrm{Top} &\longrightarrow \mathrm{Cond}(\mathrm{Set}) \\
X &\longmapsto \underline{X}
\end{align*}
admits a left adjoint and it is the ...
- 1,117
7
votes
1
answer
398
views
When is a basis of a topological space a Grothendieck pretopology?
Bases of a topological space in point set topology will in general form a coverage on its category of inclusion on open subsets and on its category of inclusion on basic opens, but it takes a bit more ...
- 35.6k
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
70
votes
28
answers
7k
views
Examples where it's useful to know that a mathematical object belongs to some family of objects
For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon:
(1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...
- 2,723
8
votes
1
answer
806
views
What's the point of a point-free locale?
In [1, example C.1.2.8], a locale $Y$ (dense in another locale
$X$) without any point is given. I fail to understand the point
of such point-less locale - Why can't we identify those as the
trivial ...
- 35.6k
55
votes
3
answers
3k
views
Duality between compactness and Hausdorffness
Consider a non-empty set $X$ and its complete lattice of topologies
(see also this thread).
The discrete topology is Hausdorff. Every topology that is finer than a Hausdorff topology is also ...
- 59.4k
8
votes
1
answer
345
views
Is Hausdorffness a categorical property in the category of locally convex spaces?
I want to characterize Hausdorffness of a locally convex space only using categorical terms of the additive category LCS of locally convex spaces and continuous linear maps, i.e., terms like mono- or ...
- 15.3k
15
votes
3
answers
1k
views
Why it is convenient to be cartesian closed for a category of spaces?
In 1967 Steenrod wrote what later became a quite celebrated paper, A convenient category of topological spaces (Michigan Math. J. 14 (1967) 133–152). The paper conveys the work of many (among the most ...
- 59k
7
votes
1
answer
439
views
Does the functor $\mathrm{Sh}\colon\mathbf{Top}\to\mathbf{Topos}$ have an adjoint?
Consider the category $\mathbf{Top}$ of topological spaces, the category $\mathbf{Topos}$ of toposes and geometric morphisms, and the category $\mathbf{Loc}$ of locales. Let
$$\mathrm{Sh}\colon\mathbf{...
- 35.6k
17
votes
1
answer
461
views
Combination topological space and locale?
The traditional theory of topological spaces (as formalized by Bourbaki) starts with a set of points, then builds a structure on that. In contrast, the theory of locales starts with a frame of opens (...
- 2,584
17
votes
2
answers
549
views
In the internal language of the topos of sheaves on a topological space, can we define locally constant real-valued functions?
For the purposes of this question, in a Grothendieck topos, we will call “definable” the objects and relations obtained from the terminal object, the natural numbers object and the subobject ...
- 46.7k
9
votes
2
answers
413
views
What are projective locales / injective frames?
Judging by the compact regular case, and more generally the spatial case, regular projectivity of locales, resp. regular injectivity of frames, must have something to do with $\neg p\lor\neg\neg p$ ...
- 17.3k
13
votes
2
answers
732
views
Is there a large colimit-sketch for topological spaces?
Question. Is there a large colimit-sketch $\mathcal{S}$ such that $\mathrm{Mod}(\mathcal{S}) \simeq \mathbf{Top}$?
In other words, is there a category $\mathcal{E}$ with a class of cocones $\mathcal{S}...
- 18.8k
2
votes
1
answer
164
views
(Local) Homotopy dimension of $\infty$-topoi on paracompact spaces
I have a question concerning the proof of Corollary 7.3.6.5 in Luries "Higher Topos Theory" (the same issue also occurs in the proof of 7.3.6.10, but it is clearer here). Given is a ...
- 8,472
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
5
votes
1
answer
204
views
Closure of the diagonal is an equivalence relation
Let $X$ be a topological space and $\overline{\Delta_X} \subseteq X \times X$ the closure of its diagonal.
Then $\overline{\Delta_X}$ is the graph of an equivalence relation on $X$.
This statement can ...
- 33.2k
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
0
votes
1
answer
161
views
Sober spaces vs. spatial frames-a big picture
For any topological space $X$ one can consider the so called frame of all open subsets of $X$ to be denoted by $\mathcal{O}(X)$. If $f:X \to Y$ is continuous taking the inverse image we get the ...
- 64.1k