Free Higher Groups in Homotopy Type Theory

doi 10.1145/3209108.3209183
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM

Related search

Type Theory and Homotopy

2012English

Modal Homotopy Type Theory

2020English

Homotopy-Initial Algebras in Type Theory

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2017English

The Homotopy Theory of Type Theories

Advances in Mathematics
Mathematics
2018English

Limiting Shifted Homotopy in Higher-Spin Theory and Spin-Locality

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

On the Mapping Space Homotopy Groups and the Free Loop Space Homology Groups

Algebraic and Geometric Topology
GeometryTopology
2011English

Homotopy Nilpotent Groups

Algebraic and Geometric Topology
GeometryTopology
2010English

Homotopy Lie Groups

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1995English

Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory

Synthese
PhilosophySocial Sciences
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy