Graphical Database for Category Theory (GDCT 3.0)