A homological approach to machine reasoning
This project explores potential applications of category theory in the area of machine reasoning.