Search Results
| 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 homotopy-theory
Search options not deleted
user 4262
Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.
5
votes
Accepted
An explicit description of Lawvere's segment in the category of simplicial sets
I've never heard this called 'Lawvere's segment' before, but your $L$ is the subobject classifier in the presheaf topos $[A^{\mathrm{op}},\mathrm{Set}]$. In presheaf toposes generally, the subobject …
- 3,622
1
vote
Controlling Reflective Subcategories and Localizations
This may not be the sort of thing you're looking for (and it only answers your first question), but...
A category C is always both reflective and coreflective in the category $C^{\mathbf{2}}$ of arro …
- 3,622