풍성한 범주
범주론에서, 풍성한 범주(豐盛-範疇, )는 "사상 집합"이 집합 대신 다른 모노이드 범주의 대상이 될 수 있는, 범주(범주 (수학))의 개념의 일반화이다. 가 주어졌다고 하자. 위의 풍성한 범주 는 다음과 같은 데이터로 구성된다. 이 데이터는 다음 세 그림을 가환하게 만들어야만 한다. 모노이드 범주 위의 두 풍성한 범주 , 사이의 -풍성한 함자 는 다음과 같은 데이터로 구성된다. 이 데이터는 다음 조건들을 만족시켜야 한다. 국소적으로 작은 범주는 집합의 범주 위의 풍성한 범주와 같다.
사상 집합 대신 다른 모노이드 범주의 대상이 될 수 있는 범주의 일반화는
풍성한 범주