Hacker News new | ask | show | jobs
by Xen0byte 1747 days ago
I don't agree that a transformation which takes an int[] and outputs a string[] is an endofunctor. Yes they are both arrays, but they are different types.
1 comments

It depends on the category. You can have a category of arrays of ints, but you can also have a category of arrays.