>>432
いいですね。マグ圏でもマグマ圏でも自分の好きな名前で呼んでやれば
いいと思います。大切なのは、名前をつけて概念化することと考えます。

何の役に立つのか分かりませんが、圏論を一般化したいというのがその
動機です。代数幾何のスキーム理論で、可換環を可換とは限らない一般
の環に置き換えたらどうなるか、という発想と似ているかも知れませんね。
よく見てませんでしたが、>>402さんのところにヒントがのっているようです。
なるほど、群のアーベル化とは随伴函手の一種と考えられるわけですか。
それにならって、圏の圏から前圏（非結合的な圏）の圏への関手を考えて
その左随伴関手をとってやれば、前圏の圏化を定義してやることができる
のではないかと思います。前圏においても米田の補題の類似が成立する
のかとか、カン拡張がすべてというのはここでも有効かなどいろいろ考え
てみると、数学の世界がより広がってますます楽しくなってくる気がします。