Skip to main content
Karol Szumiło's user avatar
Karol Szumiło's user avatar
Karol Szumiło's user avatar
Karol Szumiło
  • Member for 13 years, 10 months
  • Last seen more than 1 year ago
comment
Functors between simplicial sets and cubical sets with connections
@user62782 If I understand correctly this functor sends a simplicial set to the discrete cubical set with the same vertices. I would assume that this is not what you wanted.
Loading…
comment
Does the existence of a derived functor imply existence of model structure?
I'm not sure if this really addresses the question but it sounds like Local and Stable Homological Algebra in Grothendieck Model Categories by Cisinski and Déglise might be relevant.
revised
Loading…
Loading…
awarded
comment
Affine spaces as algebras for an operad?
The distinction between classical operads and cartesian operads that I describe in my answer is that in algebraic theories presented with operads you cannot insert "dummy variables". This means that you will not be able to identify affine combinations like $a x + b y$ and $a x + b y + 0 z$ since all identities in an operad need to have exactly the same set of variables on both sides.
revised
Affine spaces as algebras for an operad?
added 2 characters in body
Loading…
revised
Affine spaces as algebras for an operad?
added 77 characters in body
Loading…
answered
Loading…
comment
"Joyal type" model structure for (n,1)-categories?
By analyzing pushout products of boundary inclusions you can check that the lifting property that I described is equivalent to the (seemingly stronger) condition that $\mathcal{C}^{\Delta[m]} \to \mathcal{C}^{\partial\Delta[m]}$ is an acyclic Kan fibration for $m \ge n + 2$. This is invariant under categorical equivalences.
comment
"Joyal type" model structure for (n,1)-categories?
The strict definition of $(n, 1)$-categories is indeed not invariant under categorical equivalences. If you want to use it to construct a Bousfield localization from it, what model structure would you localize? I don't see any candidate other than the Joyal model structure and if you try that with the Joyal model structure you will end up with the same localization that I described anyway.
comment
"Joyal type" model structure for (n,1)-categories?
Why do you believe that the lifting property I gave is not equivalent to $(n - 1)$-truncated mapping spaces? It is fairly easy to see, e.g., you can assume that your quasicategory is the coherent nerve of a fibrant simplicial category and use the left adjoint $\mathfrak{C}$.
comment
"Joyal type" model structure for (n,1)-categories?
I have just remembered that Rezk considers the Segal space version of this problem in A Cartesian Presentation of Weak n-categories. In fact, he covers general $(n, k)$-categories not just $(n, 1)$-categories. He uses a similar Bousfield localization of the model structure for complete $\Theta_k$-spaces.
Loading…
Loading…
Loading…
awarded
awarded
comment
On a weaker version of homotopy equivalence between topological spaces
Perhaps to address your question more directly I should add: it is certainly useful to know whether a given space is a retract of another. However, I'm not aware of any theory built around the notion of equivalence you are suggesting.
1 2 3
4
5
19