An abstract study of mathematics based on categories, functors, and natural transformations.

[[curator]]
I'm the Curator. I can help you navigate, organize, and curate this wiki. What would you like to do?