마르코프 커널
한 상태에서 다른 상태로 전이할 확률을 나타내는 함수로 조건부 확률 분포를 일반화한 개념이다. 확률 프로그래밍과 범주론적 확률론에서 추론 단계를 수학적으로 모델링하는 기본 단위로 활용된다. 입력을 출력으로 매핑하는 연산자로 이해할 수 있다.