Eric Henry Yeboah

The researcher has significantly contributed to the intersection of homotopy type theory, higher category theory, and algebraic topology within the broader context of applied mathematics and computer science. Their work bridges categorical frameworks with foundational aspects of logic, exploring topics such as descent theorems, higher categorical structures, computational tools for algebraic topology, and categorical foundations for proof systems.