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 470393

For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.

5 votes
1 answer
251 views

Example of a non-$\infty$-category whose homotopy category is a groupoid

What is an example of a simplicial set $S$ such that its homotopy category $hS$ is a groupoid, but such that $S$ is not an $\infty$-category? I know that if $S$ is an $\infty$-category, then $S$ is a …
3 votes
3 answers
968 views

Precise definition of the $\infty$-category of spaces, continuous maps, homotopies, homotopi...

I heard that there is an $\infty$-category $\mathbf{Top}_\infty$ whose objects are topological spaces, whose 1-morphisms are continuous maps, whose 2-morphisms are homotopies, whose 3-morphisms are ho …