[jonahx]

> what's the determinant of the 0x0 matrix (over your favourite field or ring)?

1, because 0x0 seems like a more elegant base case for the recursive det formula than 1x1.