Phạm trù đơn hình
Trong toán học, phạm trù đơn hình là phạm trù các thứ tự không rỗng hữu hạn với ánh xạ bảo toàn thứ tự. Nó được sử dụng đề xác định các vật đơn hình và vật đối đơn hình trong một phạm trù nào đó.
Vật đơn hình sửa
Một vật đơn hình là một tiền bó trên , tức là một hàm tử phản biến từ đến một phạm trù khác. Chẳng hạn, các tập hợp đơn hình là các hàm tử từ đến phạm trù các tập hợp. Một vật đối đơn hình là một hàm tử hiệp biến từ .
Tham khảo sửa
- Goerss, Paul G.; Jardine, John F. (1999). Simplicial Homotopy Theory. Progress in Mathematics. 174. Basel–Boston–Berlin: Birkhäuser. doi:10.1007/978-3-0348-8707-6. ISBN 978-3-7643-6064-1. MR 1711612.