Good idea. I just created a category called Applied Category Theory Formula Examples. Thanks Fredrick.