projects / cubicaltt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 60779ee b3cc646)
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)
Added a formalisation of the Grothendieck group and a proof that a family of universal arrows gives rise to an adjunction.


Trivial merge
My fork of cubicaltt with web interface using Reflex.