Homotopy-Initial Algebras in Type Theory

Journal of the ACM - United States
doi 10.1145/3006383
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Type Theory and Homotopy

2012English

Modal Homotopy Type Theory

2020English

Graded Algebras Having a Unique Rational Homotopy Type

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1982English

Free Higher Groups in Homotopy Type Theory

2018English

The Homotopy Theory of Type Theories

Advances in Mathematics
Mathematics
2018English

Homotopy Batalin–Vilkovisky Algebras

Journal of Noncommutative Geometry
Mathematical PhysicsGeometryTopologyNumber TheoryAlgebra
2012English

Derivations of Homotopy Algebras

Archivum Mathematicum
Mathematics
2013English

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

Synthese
PhilosophySocial Sciences
2018English

Hopf Algebras Up to Homotopy

Journal of the American Mathematical Society
MathematicsApplied Mathematics
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy