Fibrations and Homotopy Type

Proceedings of the American Mathematical Society - United States
doi 10.2307/2045041
Full Text
Abstract

Available in full text

Date
Authors
Publisher

JSTOR

Related search

Fibrations and Homotopy Type

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1984English

Categorical Homotopy and Fibrations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1969English

Categorical Homotopy and Fibrations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1969English

Fibrations in Etale Homotopy Theory

Publications Mathématiques
Mathematics
1973English

Type Theory and Homotopy

2012English

Modal Homotopy Type Theory

2020English

Continuous Cohomology and Real Homotopy Type

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1989English

The Homotopy Theory of Type Theories

Advances in Mathematics
Mathematics
2018English

Homotopy-Initial Algebras in Type Theory

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy