概念の定義・定式化やその相互関係を調べようと思うとき、なにかに惑わされて目の前が曇ってしまいよく見えない、みたいな状況になることがあります。そんな状況に対するアドバイス（主に自分に向けて）。
- 集合だと思っているけど、実は亜群じゃないの？
- 亜群は、圏 $`\mathcal{C}`$ のコア亜群〈core groupoid〉や、圏 $`\mathcal{C}`$ のフル局所化 $`\mathcal{C}[\mathrm{Mor}(\mathcal{C})^{-1}]`$ かも知れない。
- 圏は小さい骨格〈small skeleton〉を持つか？ 小さい骨格を持つならそれを圏 $`\mathcal{C}`$ の代わりに使ってみては？ あるいは、既に小さい骨格が使われているかも知れない。
- 前層やインデックス付き圏を見たら、すぐにグロタンディーク構成しよう。グロタンディーク構成の平坦化圏やファイバー付き圏を使ったほうが見やすいことも多い。
- 二種類の射があるように思えたら、二重圏あるいは二重圏類似構造が存在するかも。
- 三種類の射があるように思えたら、三重圏あるいは三重圏類似構造が存在するかも。
- オペラッド構造が見つかるといいことあるよ。見つけよう。
- モナドが見つかるといいことあるよ。見つけよう。
