Graphical Database for Category Theory (GDCT)