薄い圏
1個以下しか射を持たない圏
のこと
In mathematics, specifically
category theory
, a
posetal category
, or
thin category
, is a category whose
homset
s each contain at most one morphism.
Posetal category - Wikipedia
用語あったんだ
takker.icon