小さい圏の圏
圏の圏 Cat は、各圏に対してその恒等射と射の合成を忘れることにより、箙の圏 Quiv への忘却函手(英語版) U: Cat → Quiv が定義できる。この忘却函手 U の左随伴 F: Quiv → Cat は各箙にそれが生成する自由圏(英語版)を対応させる自由函手である。