Weak Model Categories in Classical and Constructive Mathematics.

Henry, S. (2020). Weak Model Categories in Classical and Constructive Mathematics. Theory and Applications of Categories, 35(24), 875-958.

Type

Journal article

Intellectual base

Primary research

Year

2020

Link

https://arxiv.org/abs/1807.02650

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Quillen Adjunction
  • Those variants require their own stated definition.

    This sourceUsed only to distinguish the classical construct from analogues in weak and semi-model categories.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:abde7e5faf1e · see in the full table