불 대수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 잔글 →범주론적 정의 |
||
83번째 줄:
모든 [[원순서 집합]]은 [[작은 범주|작은]] [[얇은 범주]]로 간주할 수 있다. 이 경우, [[부분 순서 집합]]은 서로 동형인 두 대상이 항상 같은 [[원순서 집합]]이며, [[헤이팅 대수]]는 [[유한 완비 범주]]이자 [[유한 쌍대 완비 범주]]이자 [[데카르트 닫힌 범주]]인 [[부분 순서 집합]]이다.
'''불 대수'''는 다음 조건을 만족시키는 [[작은 범주|작은]] [[얇은 범주]]이다.<ref>{{저널 인용|제목=A categorical characterization of Boolean algebras|저널=Algebra Universalis|이름=M. E.|성=Szabo|권=4|호=1|쪽=192–194|doi=10.1007/BF02485724|issn=0002-5240|날짜=1974|언어=en}}</ref>
* 서로 동형인 두 대상은 같다.
* [[유한 완비 범주]]이며 [[유한 쌍대 완비 범주]]이다.
| |||