Foundation-agnostic mathematics

Collection

Collection is an informal notion used in these notes for Foundation-agnostic mathematics, which may correspond to

• A class
• A set of any size
• A type

---

develop | en | sembr