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