category theory (Q217413)
branch of mathematics studying categories, functors, and natural transformations
Language: