Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 18, 2019

• Subalgebra UMP and third isomorphism

  andreaslyn

  committed
  22b9e99

  Copy full SHA for 22b9e99

Commits on Jun 17, 2019

• Changes for second isomorphism PR

  andreaslyn

  committed
  3d888c0

  Copy full SHA for 3d888c0

Commits on May 26, 2019

• Changes added for first isomorphism PR

  andreaslyn

  committed
  71f8493

  Copy full SHA for 71f8493

Commits on Apr 28, 2019

• Begin first iso for PR

  andreaslyn

  committed
  20f198d

  Copy full SHA for 20f198d

Commits on Apr 23, 2019

• Changes for algebra category PR

  andreaslyn

  committed
  797f6ed

  Copy full SHA for 797f6ed

Commits on Apr 20, 2019

• Add right import of homomorphism

  andreaslyn

  committed
  a9613a9

  Copy full SHA for a9613a9

• Make subalgebra and prod algebra up to date with HoTT library versions

  andreaslyn

  committed
  254de0d

  Copy full SHA for 254de0d

• Split algebra and set algebra

  andreaslyn

  committed
  e49b25e

  Copy full SHA for e49b25e

• Show precategory of algebras is univalent category and some cleanup

  andreaslyn

  committed
  7470f4e

  Copy full SHA for 7470f4e

Commits on Apr 18, 2019

• Changes for quotient algebra PR to HoTT library

  andreaslyn

  committed
  1a8a19f

  Copy full SHA for 1a8a19f

Commits on Mar 15, 2019

• Changes for PR with prod algebra to HoTT library

  andreaslyn

  committed
  c48dc10

  Copy full SHA for c48dc10

Commits on Feb 27, 2019

• Changes for pull requests to HoTT library

  andreaslyn

  committed
  2202311

  Copy full SHA for 2202311

Commits on Feb 20, 2019

• Added some doc

  andreaslyn

  committed
  debfbd8

  Copy full SHA for debfbd8

• Change IsClosedUnderOps to Definition.

  andreaslyn

  committed
  99c049c

  Copy full SHA for 99c049c

• Merge branch 'master' of https://github.com/andreaslyn/hott-classes

  andreaslyn

  committed
  0726b7a

  Copy full SHA for 0726b7a

• Change Congruence and IsHomomorphism to Definitions.

  andreaslyn

  committed
  f77d564

  Copy full SHA for f77d564

Commits on Jan 13, 2019

• Changes before handin

  andreaslyn

  committed
  841dd3f

  Copy full SHA for 841dd3f

• Added equalizer and coequalizer work in progress

  andreaslyn

  committed
  1b4065f

  Copy full SHA for 1b4065f

Commits on Jan 8, 2019

• Comments and small improvements

  andreaslyn

  committed
  2f38e11

  Copy full SHA for 2f38e11

Commits on Dec 26, 2018

• Add changes for Coq report

  andreaslyn

  committed
  8c1baa2

  Copy full SHA for 8c1baa2

Commits on Dec 17, 2018

• Refactor

  andreaslyn

  committed
  a06477a

  Copy full SHA for a06477a

Commits on Dec 14, 2018

• Add subrelation

  andreaslyn

  committed
  00a0bb8

  Copy full SHA for 00a0bb8

Commits on Dec 13, 2018

• Cleanup

  andreaslyn

  committed
  e290a21

  Copy full SHA for e290a21

• Doc

  andreaslyn

  committed
  16d218d

  Copy full SHA for 16d218d

• Start doc

  andreaslyn

  committed
  7b039fc

  Copy full SHA for 7b039fc

Commits on Dec 12, 2018

• cleanup

  andreaslyn

  committed
  4ba5866

  Copy full SHA for 4ba5866

Commits on Dec 11, 2018

• Added alternative proofs of seconf and thrd isos

  andreaslyn

  committed
  561505a

  Copy full SHA for 561505a

• Refactor

  andreaslyn

  committed
  da0447c

  Copy full SHA for da0447c

• Refactor

  andreaslyn

  committed
  0986d4b

  Copy full SHA for 0986d4b

• Thrd iso

  andreaslyn

  committed
  80fcfac

  Copy full SHA for 80fcfac

• Work on third iso

  andreaslyn

  committed
  f044328

  Copy full SHA for f044328

Commits on Dec 10, 2018

• Begin third isomorphism

  andreaslyn

  committed
  d06cc75

  Copy full SHA for d06cc75

Commits on Dec 9, 2018

• Separate isomorphism theorems

  andreaslyn

  committed
  8df8fb6

  Copy full SHA for 8df8fb6

Commits on Dec 8, 2018

• Cleanup

  andreaslyn

  committed
  7185e14

  Copy full SHA for 7185e14

• Second isomorphism theorem

  andreaslyn

  committed
  1359554

  Copy full SHA for 1359554

Pagination

Previous

Next