tailieunhanh - Mở rộng phạm trù các không gian mở hữu hạn chiều thành hệ đầy đủ.

Mở rộng phạm trù các không gian mở hữu hạn chiều thành hệ đầy đủ. Chế tạo lớp phủ titan nitrua trên nền thép không gỉ mác 304 và 316L, thử nghiệm cơ lý tính và khả năng tương thích sinh học trong dung dịch mô phỏng cơ thể người. | Tạp chí Tin học và Điêu khiển học T. 17 s. 2 2001 35-38 COMPLETION OF THE CATEGORY OF FINITE DIMENSIONAL FUZZY SPACES NGUYEN NHUY PHAM QUANG TRINH and VU THI HONG THANH Abstract. In this paper we introduce a method to expand the category 7 of all finite-dimensional fuzzy spaces associated with finite-dimensional Chu spaces into a complete system. Tóm tắt. Bài này tiếp tục nghiên cứu phạm trù các không gian-mò hữu hạn chiều đã đu 0 c đề cập đến trong 7 và 8 . Nhu đã đu ọ c chúng minh trong 7 phạm trù ĩ các không gian mò hữu hạn chiều liên kết với các không gian Chu hũn hạn chiều là một hệ thống tương đưoTig tuy nhiên 7 không đóng đối vó i phép lấy tích chéo nên nó không là một hệ thống đầy đủ. Trong bài này chúng tôi đưa ra một phương pháp mở rộng phạm trù 7 thành một hệ thống đầy đủ. Để làm điều đó chúng tôi xây dựng một phạm trù n-tập họ p đối ngẫu 7 chửa 7 như một phạm trù con trong đó 7 là một hệ thống đầy đú. 1. INTRODUCTION It is shows in 7 that the category 7 of all finite-dimensional fuzzy spaces associated with finite-dimensional Chu spaces is an equivalent system. Unfortunately 7 is not closed under the cross product therefore 7 is not a complete system. In this paper we introduce a method to expand the category 7 into a complete system that is we construct a dual n-set category 7 containing 7 as a subcategory where 7 is a complete system. 2. FINITE-DIMENSIONAL -FUZZY SPACES AND THE -FUZZY FUNCTOR By n-set we mean a cartesian product X n i- Let s denote the n-set category when the category s is defined as follows 1. Objects of s are morphisms in s. 2. If a X n i Xi Y n i Yi and a X n i X - Y n i Y are two objects of s then a morphism p a a from a to a in s is a map in the n-set category 7 -Y n 1 Yi X nLi X . Let a X n 1 X Y i K a X n 1 X - Y rr 1 Yf and a X n i X Y n i Y be objects in s p a a and p a a be morphisms of s . 7 --Y n r K - X n 1 X and p Y nr r Yt - X n 1 X . Then composition of p and p denoted by p p is given by p p p a1 p a a . It is .