Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Not the point of the article at all, but in my experience when an author says "canonical map" it can typically be made precise as a unique natural transformation between whatever functors capture the objects of discussion. I think this is part of what MacLane meant by Category Theory being invented to talk about natural transformations.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: