Spahn Fiore and Leinster on complex numbers

Redirected from "homotopy type theory".

References

Marcelo Fiore?, Tom Leinster?, An objective representation of the Gaussian inte-

gers. E-print math.arXiv:math/0211454v2
Marcelo Fiore?, Tom Leinster?, objects of categories as complex numbers, arXiv:math/0212377v1

Created on June 14, 2012 at 12:54:19. See the history of this page for a list of all contributions to it.