liam-bohocki-rackotch/partial-algebra-and-f1

Abstract

We generalize many of the elementary definitions of commutative and linear algebra to the
case of partial additive operations and obtain a theory rich enough to admit a partial field
satisfying some properties expected of the (pseudo-)field with one element.