univalence

💡 Researchers extended univalence criteria to broader classes of functions.

محققان معیارهای تک‌ارزشی را به دسته‌های وسیع‌تری از توابع گسترش دادند.

💡 The theorem’s univalence condition ensures a conformal map.

شرط تک‌ارزشی قضیه، یک نگاشت همدیس را تضمین می‌کند.

💡 His “Univalence Axiom” was also credited with making a strong impact in both mathematics and computer science.

«اصل تک‌ارزشی» او همچنین به دلیل تأثیر عمیقی که بر ریاضیات و علوم کامپیوتر گذاشت، مورد تقدیر قرار گرفت.

💡 A mechanism called univalence would allow mathematicians to use each other’s work even if they had different approaches to the same underlying concepts. 

سازوکاری به نام تک‌ظرفیتی به ریاضیدانان اجازه می‌دهد تا از کار یکدیگر استفاده کنند، حتی اگر رویکردهای متفاوتی به مفاهیم اساسی یکسان داشته باشند.

💡 Discussions of univalence appear in complex analysis seminars.

بحث‌های مربوط به تک‌ظرفیتی در سمینارهای آنالیز مختلط مطرح می‌شود.