>>181 補足

p-adic Hodge theory
キーワードを拾うと

・The collection of all p-adic representations of K form an abelian category
・and also provides faithful functors to categories of linear algebraic objects that are easier to study.
・where each collection is a full subcategory properly contained in the next.

category、faithful functors、full subcategory properly
てのは、p-adic Hodge theory 由来なのかな？