Skip to main content
MathOverflow
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher's user avatar
Philippe Gaucher
  • Member for 12 years, 6 months
  • Last seen this week
Profile Activity

655 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
revised
Are cofibrant objects flat with respect to Day convolution?
Two ArXiv urls replaced by hyperlink towards published online version
comment
Reedy cofibration category structure
@PeterLeFanuLumsdaine Indeed, it's Theorem 9.2.4 of Cofibrations in Homotopy Theory.
asked
Reedy cofibration category structure
comment
Situation with Artemov's paper?
I have a very naive question. Intuitively, this means that you put the "for all n" outside the statement defining consistency. So the serial property $Con^S(PA)$ has no Gödel numbering. Is it correct ?
accepted
Category of elements and Quillen adjunction
asked
Category of elements and Quillen adjunction
comment
Original reference for the category of elements
ncatlab.org/nlab/show/category+of+elements
awarded
 Yearling
comment
Does the localization functor $\mathcal{C}\to S^{-1}\mathcal{C}$ preserve finite colimits when $\mathcal{C}$ is not small? (size issues in proof)
@ElíasGuisadoVillalgordo Try ncatlab.org/nlab/show/Grothendieck+universe. The assertion (*) is correct in ZFC + enough Grothendieck universes.
accepted
Very good cylinder and strong deformation retract
asked
Are fibrations of small categories fibrations?
revised
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
added 56 characters in body
revised
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
added 1328 characters in body
revised
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
added 3 characters in body
revised
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
edited body
revised
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
added 4 characters in body
asked
Tensor product of objectwise weak homotopy equivalences of $\mathcal{M}$-spaces
comment
Explicit CW-complex replacement of the space of reparametrization maps
@DenisT 'Obvious' like 'nice' means nothing. I like your idea and I will take it as an answer since it works also by replacing the nondecreasing surjective maps by the nondecreasing homeomorphisms.
asked
Explicit CW-complex replacement of the space of reparametrization maps
comment
Homotopy theory for small strict semimonoidal topologically enriched categories
@SimonHenry The problem I see with the two approaches is that all objects would be cofibrant. And what I think is that, as a reparametrization category, the terminal category should not be cofibrant.
1
2 3 4 5
…
33