All Questions
15
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
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
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}...
3
votes
1
answer
93
views
sequences of iterated orthogonals (lifting property) in a category
I am looking for examples of properties of morphisms defined by taking orthogonals with respect to the Quillen lifting property.
For example, several iterated orthogonals of $ \emptyset\...
- 99
7
votes
2
answers
589
views
What is the name for a set endowed with a Lipschitz structure?
I am interested in the standard (or widely accepted) name for a mathematical structure, which is intermediate between the structures of a metric space and a topological space. I have in mind the ...
- 40.2k
11
votes
4
answers
1k
views
What was Burroni's sketch for topological spaces?
In a 1981 talk, René Guitart cites Albert Burroni as having given "A first interesting example of a mixed sketch...for the category of topological spaces" in 1970. This was apparently done in Burroni'...
- 2,859
10
votes
1
answer
631
views
Topology from the viewpoint of the filter endofunctor
Question. Are there any references that develop general topology from the viewpoint of a functor $$\Phi : \mathbf{Rel} \rightarrow \mathbf{Rel}$$ that assigns to every set $X$ the set $\Phi(X)$ of ...
- 3,683
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
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
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
6
votes
2
answers
476
views
A continuous notion of realizability
I have been interested in non-classical logics, off and on, for quite a while. This question is probably very basic, and I hope it is not too low-level for MO. My question stems from an attempt to ...
- 19k
6
votes
1
answer
742
views
When is a Topological pushout also a Smooth pushout?
I feel like this problem has not been solved, but I'm interested in knowing any results on it. More specifically, I mean:
Let $B\stackrel{f}{\leftarrow} A \stackrel{g}{\rightarrow} C$ be a diagram ...
- 712
3
votes
1
answer
569
views
Functoriality of base change
Let $a:W\rightarrow X$, $c:X\rightarrow Z$, $b:W\rightarrow Y$ and $d:Y\rightarrow Z$ be a pull-back diagram in the category of topological spaces. Then one can construct a natural isomorphism $\kappa$...
- 1,447
16
votes
10
answers
3k
views
References for homotopy colimit
(1) What are some good references for homotopy colimits?
(2) Where can I find a reference for the following concrete construction of a homotopy colimit? Start with a partial ordering, which I will ...
- 12.2k