Extensible arrows in mathematics