using category amp constructor theories to build a solution to the hard problem published presentations and documents on DocSlides.