先程、swiftの関数を射とするとおっしゃいましたが、正確に言えば、型Xと型Yがあり、X -> Yとする関数があり、それを射とするということでいいですか?