Statistics of Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)