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 |
Homotopy theory, homological algebra, algebraic treatments of manifolds.
6
votes
Accepted
When does a cofibrantly generated model category have this factorization property?
I've encountered that condition a few time. Here is what I know about it:
If that property is satisfied for a model category $M$ then the full subcategory $C$ of finite $I$-cell complex is itself a Br …
18
votes
Why the sphere spectrum is more correct than $\mathbb{Z}$?
For this to work, it is best to identify connective spectrum with spaces equipped with a group-like $E_\infty$-algebra structure (these are equivalent).
From this point of view:
$\mathbb{Z}$ is the f …
11
votes
0
answers
219
views
On an Artin (?) subgroup of braid groups
While working on something apparently unrelated I encountered a "braid-like" group, which is a relatively geometric subgroup of a braid group and seems to be itself an Artin group. It seems like somet …
9
votes
0
answers
192
views
Every locally presentable $\infty$-category can be presented by a proper model category
Is there an argument in the litterature that show that every locally presentable $\infty$-category is equivalent to the localization of proper combinatorial Quillen model category ?
Of course if one r …
13
votes
sSet-enriched categories, quasi-categories and the model-independent theory
This has not been done, and there are good reasons for it: While $sSet$-enriched categories are indeed very good to easily get examples of $\infty$-categories, they are very bad at understanding what …
8
votes
Accepted
Is the suspension of a finite fibration again finite?
Assuming you work with unpointed spaces (but the example can easily be adapted to the pointed case) the map $1 \to 2$ gives a counterexample : its fiber are $1$ and $\varnothing$ so they are both fini …
8
votes
2
answers
329
views
example of "really" non-existent transferred model structure
I am looking for an example where a transferred model structure fails to exist, even if one is willing to work with semi-model category. But let me be more precise:
Let's say I have a combinatorial mo …
15
votes
1
answer
494
views
On diagrams in model categories and rectification
For a model category $C$, I'm denoting $h_\infty(C)$ the associated $\infty$-category (for example its Dwyer-Kan localization at weak equivalences, or if $C$ is simplicial the simplicial nerve of the …
7
votes
1
answer
295
views
Is the canonical model structure on strict $\infty$-Cat left proper?
Is the canonical (or Folk) model structure on the category of (strict) $\infty$-categories as constructed by Lafont, Métayer and Worytkiewicz in A folk model structure on omega-cat left proper ?
All i …
7
votes
1
answer
230
views
Free extension of algebra for an operad
I fix $C$ a symmetric monoidal model category (with a cofibrant unit if it helps). I'm assuming that it is closed, or at least that the tensor product commutes to colimits in each variable.
If $X$ is …
6
votes
2
answers
465
views
CW-presentation of configurations of points in plane and space
I know from the the theory of Artin groups that, as the $K(\pi,1)$ conjecture is known for Braids group, that using Salvetti complexes we have a fairly explicit finite CW-complex presentation of the c …
3
votes
Accepted
Euclidean model structure on multipointed $d$-spaces
As mentioned by David White in the comment, I've recently proved that left induced model structure exists (without any kind of large cardinal axiom) for any "tractable" class of cofibrations on a loc …
7
votes
Accepted
Groupoids as models of symmetric simplicial sets
You can definitely characterize groupoids as presheaves on $Fin_+$ preserving some colimtis (i.e. sending some colimits in $Fin_+$ to limits in Set). In fact Groupoids are the presheaf on $Fin_+$ that …
14
votes
1
answer
294
views
Detecting weak equivalence on free loop space homology
Given $f:X \to Y$ a continuous map between two spaces (unpointed CW-complexes) such that $f$ induces an isomorphism in homology with integer coefficient, and $f$ induces an isomorphism on homology of …
13
votes
0
answers
385
views
Looking for an invariant similar to algebraic K-theory
I'm wondering if there is an invariant, similar to algebraic K-theory, topological hochshild homologic, topological cyclic homology etc... that has the following properties:
a) It attach to each small …