Brief on "Category-Theoretic Proof of Higman's Lemma Admits Applicability and Constructive Proof"
Brief on “Category-Theoretic Proof of Higman’s Lemma Admits Applicability and Constructive Proof”
Over the course of the next month, I will be talking about my research and break everything apart one by one. This post is a brief overview of my research. The next post on Monday will be about monads, Kleisli categories, and Ellenberg-Moore categories.
I am using category theory in my paper through categorification to formulate Higman’s Lemma. Then I am developing a new constructive proof for…
View On WordPress














