Towards a Unified Theory of Abstraction: Abstracting and Reducing Abstraction as Reciprocal Categories of Mathematical Practices

If any information below is incorrect, please login and use the links below to correct it