projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60779ee) | patch
Added definitions of algebraic structures in algstruct.ctt, a construction of the...
authorlinusbo <linus.bor@gmail.com>
Mon, 2 Jan 2017 19:30:29 +0000 (20:30 +0100)
committerlinusbo <linus.bor@gmail.com>
Mon, 2 Jan 2017 19:30:29 +0000 (20:30 +0100)
commit41d18c5c60b49e7fc0518d65044a11768b877e47
treeb0825db3373da01edf14cc7e79a11f7a021c0538tree | snapshot
parent60779eea3601f62b0d59b0fcf28fd0cfb99383f6commit | diff
Added definitions of algebraic structures in algstruct.ctt, a construction of the Grothendieck group in grothendieck.cct, definitions of natural transformations, universal arrows, and adjunctions in univprop as well as a proof that a family of universal arrows gives rise to an adjunction.
examples/README.md diff | blob | blame | history
examples/algstruct.ctt [new file with mode: 0644] blob
examples/grothendieck.ctt [new file with mode: 0644] blob
examples/pi.ctt diff | blob | blame | history
examples/setquot.ctt diff | blob | blame | history
examples/univprop.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.