I'm asking this, because it is about `initial obje...

# arrow

[rcd27]

I'm asking this, because it is about initial object. But terminal object, which is supposed to be something opposite has this morphism to it as written in our examples:

fun <A> unit(): Unit = Unit

But we see here a Unit, not Nothing