نتایج جستجو برای: locale
تعداد نتایج: 2253 فیلتر نتایج به سال:
We give a construction of coequalisers in formal topology, a predicative version of locale theory. This allows for construction of quotient spaces and identification spaces in constructive topology.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید
