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 43054
5 votes
Accepted

contracting homotopy on simplicial sets

It is easier to define the map you're looking for if you adjoint it over and define a map $Map(\Delta[1],X)\to Map(\Delta[1],Map(\Delta[1],X)) = Map (\Delta[1]\times \Delta[1],X)$ Then this comes fr …
Denis Nardin's user avatar
  • 16.5k
15 votes
Accepted

Are finite spaces a model for finite CW-complexes?

The answer to question (1) is yes and it follows from the following theorem by McCord: Theorem 1. (i) For each finite topological space $X$ there exist a finite simplicial complex $K$ and a weak homo …
Denis Nardin's user avatar
  • 16.5k