codomain

public abstract Optional<Type> codomain(Type domain)(source)

For a given type, return what type this morphism transform each object into.