Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 126667

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

8 votes

Uncountable preimage of every point

No. For example, let $g : [0, 1] \to [0, 1] \times [0, 1]$ be a continuous surjective map (space-filling curve) and let $p : [0, 1] \times [0, 1] \to [0, 1]$ be the projection onto the first coordina …
Reid Barton's user avatar
  • 25.2k
19 votes

Colimits in the category of smooth manifolds

I'll show that the pushout that glues two copies of $\mathbb{R}$ at the origin does not exist in Man. Suppose for the sake of contradiction that it did; call the resulting manifold $M$, and the commo …
Reid Barton's user avatar
  • 25.2k
13 votes

Why do finite homotopy groups imply finite homology groups?

It sounds like maybe you can prove your first statement for simply connected spaces. In that case, you can use the homotopy orbit spectral sequence (the Serre spectral sequence associated to the fibr …
Reid Barton's user avatar
  • 25.2k
7 votes

Is the coproduct of fibrant spectra fibrant again?

No. Here are two reasons: The coproduct of two pointed Kan complexes is usually not a Kan complex (say, if the spaces are connected): we can map $\Lambda^2_1$ into "both summands" and the map will …
Tyler Lawson's user avatar
  • 52.7k
9 votes
1 answer
614 views

Stable presentable categories as module categories

There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I allow my A∞ …
20 votes

Least number of charts to describe a given manifold

To answer your last question, the least number of charts needed to cover any orientable 2-manifold is 2. Consider the usual embedding of an orientable surface Σ in R3 which is symmetric across the pl …
Reid Barton's user avatar
  • 25.2k
6 votes

The ants-on-a-ball problem

I want to use the hairy ball theorem in the following way. Assume for simplicity that we start at time 0 and each ant returns to its original location at time 1. Suppose no two ants ever meet; then …
Reid Barton's user avatar
  • 25.2k
11 votes
1 answer
335 views

cardinality of final coalgebras in Top

Let P be a polynomial functor from Top to Top, by which I mean a functor of the form P(X) = ∐i ≥ 0 Si × Xi where the Si are finite sets, all but finitely many of which are empty. Corresponding to P t …
4 votes

Is there a topological description of combinatorial Euler characteristic?

Why isn't there an intrinsic topological description, or perhaps manifold-theoretic description? At least in some cases, the combinatorial Euler characteristic of X is equal to the homotopy Euler …
Reid Barton's user avatar
  • 25.2k
3 votes

What is an example of a topological space that is not homotopy equivalent to a CW-complex?

I hope what that comment on Wikipedia means is that the homotopy category of CW complexes is the "right" homotopy category up to equivalence. There are many other ways to produce the homotopy categor …
Reid Barton's user avatar
  • 25.2k
5 votes

The core question of topology

Maybe this is my algebraic topology bias but I'm not sure there's anything one can say about this question in general--there are just too many topological spaces to try to classify them in any sense. …
Reid Barton's user avatar
  • 25.2k