완전 그래프: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
잔글편집 요약 없음
2번째 줄:
 
== 정의 ==
(단순) [[그래프]]의 범주 <math>\operatorname{Graph}</math> 위에, 그래프를 그 꼭짓점 집합으로 대응시키는 망각 [[함자 (수학)|함자]] <math>V\colon\operatorname{Graph}\to\operatorname{Set}</math>가 존재한다. 이 함자는 [[수반함자오른쪽 수반 함자]]를 갖는다.
:<math>K\colon\operatorname{Set}\to\operatorname{Graph}</math>
:<math>V\dashv K</math>