• 틀:이산수학·수리논리학
• 범주
• 疇
• 베르 범주 정리
• 선형 변환
• 대수기하학
• 에미 뇌터
• 틀:수학기초론
• 틀:이론 컴퓨터 과학
• 나무위키:프로젝트/수학
• 철학서
• 필요조건과 충분조건
• 모임
• 대수학/교재
• 명사
• 미카엘리스-멘텐 방정식
• 행사다리꼴
• 자연 변환
• 자연 동형
• 가환 다이어그램
• 항등 함자
• 쌍대성
• 범주(범주론)
• 항등 사상
• 쌍대합
• 극한(범주론)
• 쌍대곱
• 푸시아웃(범주론)
• 쌍대 범주
• 당김(범주론)
• 곱(범주론)
• 끝(범주론)
• 쌍대극한
• 완비 범주
• 시작(범주론)
• 보편 대수학
• 디자인 패턴
• 과학/기호
• 보편 성질
• 컴퓨터과학
• 컴퓨터공학
• 확률론
• 알렉산더 그로텐디크
• 수학철학
• 수리논리학
• 필즈상
• 틀:대수학
• 학문 관련 정보
• 선형대수학
• 군(대수학)
• 카테고리
• 틀:컴퓨터공학
• 자유군
• Haskell/특징
• 함수
• 수학
• 니콜라 부르바키
• 대수학
• 일반화