일반화된 대수 이론을 활용한 모델링 및 프로그래밍

일반화된 대수 이론(GAT)을 기반으로 범주론적 수학 모델을 소프트웨어에 일관되게 구현할 수 있는 GATlab이라는 도메인 특화 언어를 소개한다.