Merge pull request #56 from linuborj/cubicaltt_grothendieck
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 4 Jan 2017 10:07:50 +0000 (11:07 +0100)
committerGitHub <noreply@github.com>
Wed, 4 Jan 2017 10:07:50 +0000 (11:07 +0100)
commit87c067150e955e3f2b0864e2ec9929fa3289ff28
tree471e6f61a9bd525481d7ecabee2ed7cafcf8f008
parent60779eea3601f62b0d59b0fcf28fd0cfb99383f6
parentb3cc646e96819518257630e7d3157d4b1e56c373
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.