Hacker News new | ask | show | jobs
by the_af 4151 days ago
What is your definition of "destructive"? A function with no inverse? Just trying to understand...
1 comments

Yes, not injective essentially, which is not the same as not having an inverse. The notion can be extended though, for example functors that aren't faithful are certainly destructive .