Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorDmitri Pavlov
   • CommentTimeMay 31st 2022
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexCreated: The term “h-cofibration” can refer to two closely related, but different notions: * [[Hurewicz cofibrations]]; * the dual notion to [[sharp maps]]. In this article, we concentrate on the latter. ## Definition A map $f\colon X\to Y$ in a [[relative category]] $C$ is an __h-cofibration__ if the [[cobase change]] functor $X/C\to Y/C$ is a [[relative functor]], i.e., preserves weak equivalences. ## Properties A [[model category]] is [[left proper]] if and only if all cofibrations are h-cofibrations. In a [[left proper]] [[model category]], [[cobase changes]] along h-cofibrations are [[homotopy cobase changes]]. The notion of h-cofibrations is most useful in the left proper case, and one can argue that in the non-left proper case, the above property should be taken as the definition instead. ## References * [[Michael Batanin]], [[Clemens Berger]], _Homotopy theory for algebras over polynomial monads_, Theory and Applications of Categories 32:6 (2017), 148–253. [arXiv](http://arxiv.org/abs/1305.0086). [[!redirects h-cofibrations]] <a href="https://ncatlab.org/nlab/revision/h-cofibration/1">v1</a>, <a href="https://ncatlab.org/nlab/show/h-cofibration">current</a>

   Created:

   The term “h-cofibration” can refer to two closely related, but different notions:

   • Hurewicz cofibrations;

   • the dual notion to sharp maps.

   In this article, we concentrate on the latter.

   Definition

   A map $f\colon X\to Y$ in a relative category $C$ is an h-cofibration if the cobase change functor $X/C\to Y/C$ is a relative functor, i.e., preserves weak equivalences.

   Properties

   A model category is left proper if and only if all cofibrations are h-cofibrations.

   In a left proper model category, cobase changes along h-cofibrations are homotopy cobase changes.

   The notion of h-cofibrations is most useful in the left proper case, and one can argue that in the non-left proper case, the above property should be taken as the definition instead.

   References

   • Michael Batanin, Clemens Berger, Homotopy theory for algebras over polynomial monads, Theory and Applications of Categories 32:6 (2017), 148–253. arXiv.

   !redirects h-cofibrations

   v1, current