Nghĩa chính
- Từ chức năngdanh từA function word.
- Đối tượng chức năngdanh từA function object.
- Thể loại đồng hình; một hình thái từ một danh mục nguồn đến một danh mục đích, ánh xạ các đối tượng tới các đối tượng và các mũi tên tới các mũi tên (theo hiệp biến hoặc trái ngược), theo cách để bảo toàn thành phần và đặc tính hình tháidanh từA category homomorphism; a morphism from a source category to a target category which maps objects to objects and arrows to arrows (either covariantly or contravariantly), in such a way as to preserve morphism composition and identities.
- Cấu trúc cho phép một hàm áp dụng trong một kiểu chung, theo cách tương tự về mặt khái niệm với một hàm tử trong lý thuyết phạm trùdanh từA structure allowing a function to apply within a generic type, in a way that is conceptually similar to a functor in category theory.
Dạng từ (word form)
theo quy tắc (regular)- functorDạng gốc (base form)
- functorsSố nhiều (plural)
Cụm từ (phrase)
| Cụm từ | Từ loại | Nghĩa |
|---|---|---|
| full functordanh từ | danh từ | Functor ánh xạ các hình thái từ nguồn của nó tới loại đích của nó theo cách sao cho hạn chế của ánh xạ đó tới bất kỳ tập hợp nguồn nào cũng có tính chất từ đối với tập hợp đích tương ứng |
| group functordanh từ | danh từ | Đối tượng nhóm là một đối tượng trong một danh mục hàm; một hàm số với các thuộc tính nhất định khái quát hóa khái niệm nhóm |
| Yoneda functordanh từ | danh từ | Functor từ một thể loại nhất định đến một thể loại các functor từ thể loại đã cho đó tới Tập hợp (danh mục của các tập hợp) ánh xạ bất kỳ đối tượng nào của thể loại đã cho tới một functor hom được đại diện bởi đối tượng đó và bất kỳ hình thái nào đối với phép đẳng cấu tự nhiên được tạo ra duy nhất bởi phép hình thái đó theo bổ đề Yoneda |
| adjoint functordanh từ | danh từ | Một trong những cặp hàm số sao cho miền và tên miền của một trong số chúng giống hệt với miền và miền của hàm kia, tương ứng, và sao cho có một cặp phép biến đổi tự nhiên biến cặp hàm số thành một liên kết |
| identity functordanh từ | danh từ | Functor từ một danh mục tới chính nó, ánh xạ từng đối tượng của danh mục đó với chính nó và mỗi hình thái của danh mục đó với chính nó |
| functor categorydanh từ | danh từ | Danh mục có các đối tượng là các hàm số (từ một số danh mục miền nhất định cố định đến một danh mục miền đồng thời cố định nào đó) và có hình thái là các biến đổi tự nhiên |
| faithful functordanh từ | danh từ | Functor ánh xạ các hình thái từ nguồn của nó tới loại đích của nó theo cách mà hạn chế của ánh xạ đó tới bất kỳ tập hợp hom nguồn nào sẽ được đưa vào tập hợp hom đích tương ứng |
| forgetful functordanh từ | danh từ | Functor quên hoặc loại bỏ một số hoặc tất cả cấu trúc hoặc thuộc tính của đầu vào trước khi ánh xạ tới đầu ra |
Họ từ (word family)
cùng gốc functor- functorialCó thể được mô tả như một functortính từ
- functoriallyTheo cách chức năngtrạng từ
- functorialityChất lượng của chức năngdanh từ
- subfunctorFunctor sao cho tất cả các đối tượng mà nó ánh xạ đều được ánh xạ bởi functor cha, và với bất kỳ mũi tên nào nó ánh xạ thì functor cha bao gồm cùng một ánh xạ (mặc dù nó cũng có thể ánh xạ các mũi tên từ cùng một miền tới các hình ảnh bổ sung bên ngoài hình ảnh của functor con)danh từ
Ngôn ngữ khác
Tiếng Tây Ban Nha
Ví dụ
- #92;mathbf#123;#125; .