あと、圏論てあまり詳しくないんですけど、その意味での極限って関数の極限値とかと全く無関係だと思うんですけどどうなんでしょうね？