New posts in Definitions

Formal definition of homotopy type theory

Different definitions for integral de Rham cohomology classes

Understanding the definition of stacks

Adjusting the definition of a well-powered category to category theory with universes: size issues

Why is the standard definition of a $(p, q)$-tensor so bizarre?

A definition of topology using monads (a.k.a. halos)

Why are there so many fractional derivatives?

The $n$-th derivative has $n$ zeros. Can such a function be unbounded?

What is the essence of the constant factor in the standard definitions of the discriminant?

Dropping "generic" from the definition of forcing