連接環
圏 R M o d {\displaystyle _{R}Mod} において有限型(resp. 連接)対象全体は有限型(resp. 連接)加群全体である。
圏 O X M o d {\displaystyle _{{\mathcal {O}}_{X}}\mathbf {Mod} } において、有限型(resp. 連接)対象全体は有限型(resp. 連接) O X {\displaystyle {\mathcal {O}}_{X}} -加群全体である。
N. Bourbaki, Algèbre, Chapitre 10: Algèbre homologique, Springer, 2007, 216 p. (ISBN 3540344926)
N. Bourbaki, Algèbre commutative, chapitres 1 à 4, Springer, 2006, 364 p. (ISBN 354033937X)
(en) Henri Bourlès および Bogdan Marinescu, Linear Time-Varying Systems: Algebraic-Analytic Approach, Springer, 2011, 638 p. (ISBN 978-3-64219726-0, lire en ligne)
(en) Paul Moritz Cohn, Free Rings and their Relations (2nd ed.), Academic Press, 1985, 595 p. (ISBN 0121791521)
(en) Warren Dicks, « Free algebras over Bézout domains are Sylvester domains », Journal of Pure and Applied Algebra, vol. 27, 1983, p. 15-28
(en) Warren Dicks および Eduardo D. Sontag, « Sylvester Domains », Journal of Pure and Applied Algebra, vol.
C {\displaystyle {\mathfrak {C}}} をグロタンディーク圏とする。 C {\displaystyle {\mathfrak {C}}} の対象 A {\displaystyle A} は次のとき有限型 (type fini) と呼ばれる。 ⋃ i ∈ I A i = A {\displaystyle \bigcup \nolimits _{i\in I}A_{i}=A} なる A {\displaystyle A} の増大フィルターのすべての族 ( A i ) i ∈ I {\displaystyle \left(A_{i}\right)_{i\in I}} に対して、 A i = A {\displaystyle A_{i}=A} となる添え字 j {\displaystyle j} が存在する。 C {\displaystyle {\mathfrak {C}}} の対象 A {\displaystyle A} は次のとき連接 (cohérent) と呼ばれる。有限型でありかつすべての射 f : B → A {\displaystyle f:B\rightarrow A} 、ただし B {\displaystyle B} は有限型、に対して ker  ( f ) {\displaystyle \ker(f)} は有限型である。