Post
And to keep the analogy going. A TypeScript union type is precisely analogous to a categorical coproduct in the category of sets, which is implemented as a disjoint union.
0 reposts2 likes
No replies yet.
And to keep the analogy going. A TypeScript union type is precisely analogous to a categorical coproduct in the category of sets, which is implemented as a disjoint union.
0 reposts2 likes
No replies yet.