In the category of objects where the objects are t...

# arrow

[raulraja]

In the category of objects where the objects are types in the Kotlin type system and the morphisms are functions that take you from a type to another fold is just one of those morphisms