Abstract: Fuzzy relation plays an important role in many applications. In this work, I-fuzzy equivalence relation and I-transitive approximations are studied. Firstly, the methods for judging an ...

Since a complete formalization of measure theory is beyond the scope of this project, many facts about measures and integration have been axiomatized. These axioms are contained and documented in ...

Pick a type of categorical structure: say bicategories, or monoidal categories, or whatever you like. Some of the functors between structures are equivalences, in whatever the appropriate sense might ...