From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Wed, 4 Jan 2017 10:07:50 +0000 (+0100)
Subject: Merge pull request #56 from linuborj/cubicaltt_grothendieck
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=87c067150e955e3f2b0864e2ec9929fa3289ff28;p=cubicaltt.git

Merge pull request #56 from linuborj/cubicaltt_grothendieck

Added a formalisation of the Grothendieck group and a proof that a family of universal arrows gives rise to an adjunction.
---

87c067150e955e3f2b0864e2ec9929fa3289ff28