응용 범주론
보이기
응용 범주론은 수학의 범주론을 사용하여 수학 이외의 분야들인 컴퓨터 과학,[1][2][3][4][5] 물리학(특히 양자물리학)[6][7][8][9][10]), 자연어 처리,[11][12][13] 제어 이론,[14][15][16] 확률론 및 인과 관계를 포함하는 여러 분야를 연구하는 학술 분야이다.
이런 분야들에서 범주론을 응용하는 양상은 다양하다. 대표적으로, 어떤 경우에는 범주론으로 그 분야를 공식화하여 그 분야의 중요한 구조와 속성을 명료하게 할 것이라는 기대를 가진다. 다른 경우에는 추상화의 힘을 활용하여 해당 분야에 대한 새로운 결과를 증명하기 위해 범주론적 형식화가 사용된다.
물리학에서 범주론 응용의 대표적 예시들: 보충경계 범주와 선형 공간 범주를 이용한 위상 양자장론의 아티야 공리계, 민코프스키 공간 범주와 단위 C*-대수 범주를 이용한 양자장론의 헤이그-카스틀러 공리계와 그 쌍대 공리계로 볼 수 있는 함자적 양자장론, 퓨전 범주를 이용한 2차원 등각장론에서 퓨전 규칙의 공식화, (∞,1)-토포스의 미분 코호몰로지를 이용한 일반화된 게이지 이론의 공식화
응용 범주론 학자 목록[편집]
같이 보기[편집]
- 범주적 양자역학
- ZX-미적분학
- <a href="https://en.wikipedia.org/wiki/DisCoCat" rel="mw:ExtLink" title="DisCoCat" class="cx-link" data-linkid="41">DisCoCat</a>
- 페트리 그물
- <a href="https://en.wikipedia.org/wiki/Univalent_foundations" rel="mw:ExtLink" title="Univalent foundations" class="cx-link" data-linkid="45">Univalent foundations</a>
- 끈 다이어그램
각주[편집]
- ↑ “Applied Category Theory”. 《MIT OpenCourseWare》. 2019년 7월 20일에 확인함.
- ↑ Barr, Michael. (1990). 《Category theory for computing science》. Wells, Charles. New York: Prentice Hall. ISBN 0131204866. OCLC 19126000.
- ↑ Spivak, David I.; Fong, Brendan (July 2019). 《An Invitation to Applied Category Theory by Brendan Fong》. doi:10.1017/9781108668804. ISBN 9781108668804.
- ↑ Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe (1998년 3월 1일). “Applications of Category Theory to the Area of Algebraic Specification in Computer Science”. 《Applied Categorical Structures》 6 (1): 1–35. doi:10.1023/A:1008688122154. ISSN 1572-9095.
- ↑ Ehrig, Hartmut; Große-Rhode, Martin; Wolter, Uwe (1998년 3월 1일). “Applications of Category Theory to the Area of Algebraic Specification in Computer Science”. 《Applied Categorical Structures》 6 (1): 1–35. doi:10.1023/A:1008688122154. ISSN 1572-9095. S2CID 290074.
- ↑ Abramsky, Samson; Coecke, Bob (2009), “Categorical Quantum Mechanics”, 《Handbook of Quantum Logic and Quantum Structures》 (Elsevier), 261–323쪽, arXiv:0808.1023, doi:10.1016/b978-0-444-52869-8.50010-4, ISBN 9780444528698, S2CID 692816
- ↑ Duncan, Ross; Coecke, Bob (2011). “Interacting Quantum Observables: Categorical Algebra and Diagrammatics”. 《New Journal of Physics》 13 (4): 043016. arXiv:0906.4725. Bibcode:2011NJPh...13d3016C. doi:10.1088/1367-2630/13/4/043016. S2CID 14259278.
- ↑ Duncan, Ross; Coecke, Bob (2011). “Interacting Quantum Observables: Categorical Algebra and Diagrammatics”. 《New Journal of Physics》 13 (4): 043016. arXiv:0906.4725. Bibcode:2011NJPh...13d3016C. doi:10.1088/1367-2630/13/4/043016.
- ↑ Coecke, Bob; Kissinger, Aleks (2017년 3월 16일). 《Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning》. ISBN 978-1107104228. OCLC 1026174191.
- ↑ Heunen, Chris; Vicary, Jamie (2019년 11월 19일). 《Categories for Quantum Theory: An Introduction》. ISBN 9780198739616.
- ↑ Kartsaklis, Dimitri; Sadrzadeh, Mehrnoosh; Pulman, Stephen; Coecke, Bob (2016), 〈Reasoning about meaning in natural language with compact closed categories and Frobenius algebras〉, 《Logic and Algebraic Structures in Quantum Computing》, Cambridge University Press, 199–222쪽, arXiv:1401.5980, doi:10.1017/cbo9781139519687.011, ISBN 9781139519687, S2CID 8630039
- ↑ Grefenstette, Edward; Sadrzadeh, Mehrnoosh; Clark, Stephen; Coecke, Bob; Pulman, Stephen (2014), “Concrete Sentence Spaces for Compositional Distributional Models of Meaning”, 《Text, Speech and Language Technology》 (Springer Netherlands), 71–86쪽, arXiv:1101.0309, doi:10.1007/978-94-007-7284-7_5, ISBN 9789400772830, S2CID 2411818
- ↑ Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio (2021), “A Survey of Compositional Signal Flow Theory”, 《Advancing Research in Information and Communication Technology. IFIP Advances in Information and Communication Technology》 (Springer), doi:10.1007/978-3-030-81701-5_2
- ↑ Master, Jade; Baez, John C. (2018년 8월 16일). “Open Petri Nets”. arXiv:1808.05415v4 [math.CT].
- ↑ Baez, John C.; Pollard, Blake S. (2018). “A compositional framework for reaction networks”. 《Reviews in Mathematical Physics》 29 (9): 1750028–425. arXiv:1704.02051. Bibcode:2017RvMaP..2950028B. doi:10.1142/S0129055X17500283. ISSN 0129-055X. S2CID 119665423.
- ↑ Baez, John C.; Pollard, Blake S. (2018). “A compositional framework for reaction networks”. 《Reviews in Mathematical Physics》 29 (9): 1750028–425. arXiv:1704.02051. Bibcode:2017RvMaP..2950028B. doi:10.1142/S0129055X17500283. ISSN 0129-055X.
외부 링크[편집]
저널:
컨퍼런스:
서적:
- 양자 프로세스의 청사진
- 양자 이론을 위한 범주론
- 응용 범주론으로의 초대 ( 예판 )
- 과학을 위한 범주론 ( 인쇄판 )
기관:
- 옥스포드 대학의 Quantum Group
- Tallinn University of Technology 의 연구 그룹 TallCat
- 토포스연구소
- Cybercat 연구소
소프트웨어:
회사:
- 데이터 통합 기업 Conexus AI
마스코트:
참고자료[편집]
- ↑ “The n-Category Café”. 《golem.ph.utexas.edu》. 2019년 7월 20일에 확인함.