초기 함자로 도식 변형의 등식 추론을 설명한다
Evan Patterson은 egglog를 CatColab에서 유한 제시 범주에 적용한 경험을 바탕으로, 초기 함자가 도식 변형 전후의 극한을 보존하는 원리를 설명합니다. 가환 사각형의 붙이기와 모노이드 예제로 등식 추론 과정을 보여 주며, 이번 편은 단항 함수 기호에 해당하는 범주를 다룹니다.
개발 · 최신기사
언어와 프레임워크, SDK와 개발 방식·도구의 변화를 다룹니다.
언어와 프레임워크, SDK와 개발 방식·도구의 변화를 다룹니다.
Evan Patterson은 egglog를 CatColab에서 유한 제시 범주에 적용한 경험을 바탕으로, 초기 함자가 도식 변형 전후의 극한을 보존하는 원리를 설명합니다. 가환 사각형의 붙이기와 모노이드 예제로 등식 추론 과정을 보여 주며, 이번 편은 단항 함수 기호에 해당하는 범주를 다룹니다.