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