The axioms for a functor require that these play harmoniously with substitution. Retrieved from Wikipedia CC BY-SA 3.0 ...
確定! 回上一頁