手机版
導来関手
【どうらいかんしゅ】
【douraikansyu】
导函子