Categorical Message Passing Language (CaMPL)는 범주론 (Category Theory), 더 구체적으로는 선형 액테고리 (Linear Actegories)에 그 의미론 (Semantics)을 두는 함수형 스타일의 병렬 프로그래밍 언어 (Concurrent Programming Language)입니다. 이 언어의 핵심 프로그래밍 기능은 병렬 프로세스 (Concurrent Processes) 간의 타입이 지정된 통신 채널 (Typed Communication Channels)을 통한 메시지 패싱 (Message Passing)입니다. 또한 CaMPL은 프로세스가 실행 중에 동적으로 적응할 수 있게 하는 '레이스 (Races)'를 통한 제어된 비결정론 (Controlled Non-determinism), 다른 프로세스를 메시지로 전달하는 고차 프로세스 (Higher-order Processes)