Report copyright - On modeling homotopy type theory in higher toposeshome.sandiego.edu/~shulman/papers/injmodel-talk.pdf · Review: model categories for type theory Left exact localizations Injective
Please pass captcha verification before submit form