New posts in definition

What does etc stand for/mean?

What is the dependency hierarchy in foundational mathematics?

How to define path connected neighborhood

Why do we define the $\mathfrak{p}$-adic logarithm on a $\mathfrak{p}$-adic number field such that $\log(p) = 0$?

How do we construct the cotangent space?

Does *finitely many* include the option *none*?

How do I define exactly what a function is?

Is $e^x=\exp(x)$ and why?

What is the exact definition of "induced homomorphism"?

Is $\sqrt{x}$ an even function?

Approximation symbol: Is $\pi \approx 3.14\dots$ equivalent to $\pi \fallingdotseq 3.14\dots$?

Relationship between tuples, vectors and column/row matrices

Definitions of direct product and of direct sum

If A = B, then B = A... Not Always True? Definition of "="

What would you call a finite collection of unordered objects that are not necessarily distinct?

What is the Definition of Linear Algebra?

Has my understanding of a generating set been wrong this entire time?

Curiosity: Wouldn't the definition of the derivative always be 1 if it exists?

Are categories larger than classes?

What kind of language is CSS?