lSpace
Projective lines as groupoids with projection structure
Reference Details
cite key
Kock_5
title
Projective lines as groupoids with projection structure
author
Kock, A.
eprint
http://arxiv.org/abs/1310.5357v1
mrclass
math.CT
note
arXiv:1310.5357v1
url
http://arxiv.org/abs/1310.5357v1
arxiv
1310.5357
refbase
2123
category:
category theory