Commits

Branch selector

 d2c7eb2

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 7, 2018

• generalize the spectral sequence of a sequence of spectrum maps

  

  Floris van Doorn

  committed
  d2c7eb2

  Copy full SHA for d2c7eb2

Commits on Sep 5, 2018

• fix after moving stuff to library

  Show description for fffc3cd
  

  Floris van Doorn

  committed
  fffc3cd

  Copy full SHA for fffc3cd

Commits on Sep 4, 2018

• move more stuff

  

  Floris van Doorn

  committed
  e1d2392

  Copy full SHA for e1d2392

Commits on Aug 19, 2018

• move to lib and older things

  

  Floris van Doorn

  committed
  be0d597

  Copy full SHA for be0d597

Commits on Jun 6, 2018

• more on decidable free group

  

  Floris van Doorn

  committed
  ec5b9db

  Copy full SHA for ec5b9db

Commits on Apr 3, 2018

• additions on pentagons with interchange

  

  spiceghello

  authored and

  Floris van Doorn

  committed
  dd14277

  Copy full SHA for dd14277

Commits on Mar 25, 2018

• the free group on a decidable set eliminates to any InfGroup

  Show description for 12f23c0
  

  Floris van Doorn

  committed
  12f23c0

  Copy full SHA for 12f23c0

Commits on Mar 24, 2018

• fix indexing for homotopy group of presprectrum

  

  Floris van Doorn

  committed
  9b624ed

  Copy full SHA for 9b624ed

• minor additions

  

  Floris van Doorn

  committed
  bcb78b4

  Copy full SHA for bcb78b4

Commits on Feb 1, 2018

• higher groups: add is_trunc_ppi_of_is_conn

  

  Floris van Doorn

  committed
  cf25666

  Copy full SHA for cf25666

• higher groups: finalize file

  

  Floris van Doorn

  committed
  2f957b7

  Copy full SHA for 2f957b7

Commits on Jan 31, 2018

• change title in README

  

  Floris van Doorn

  committed
  e34fba2

  Copy full SHA for e34fba2

• higher groups: rename Grp to GType

  

  Floris van Doorn

  committed
  fbad625

  Copy full SHA for fbad625

• higher groups: prove equivalence of categories for 0-Grp

  

  Floris van Doorn

  committed
  9914352

  Copy full SHA for 9914352

• higher groups: prove naturality of all adjunctions

  

  Floris van Doorn

  committed
  85b0463

  Copy full SHA for 85b0463

Commits on Jan 30, 2018

• various things about higher groups

  

  Floris van Doorn

  committed
  98092df

  Copy full SHA for 98092df

Commits on Jan 29, 2018

• higher_groups: finish adjunction between loop and deloop

  

  Floris van Doorn

  committed
  e0365d2

  Copy full SHA for e0365d2

Commits on Jan 28, 2018

• Prove stabilization and work on equivalence of categories

  

  Floris van Doorn

  committed
  0949070

  Copy full SHA for 0949070

Commits on Jan 27, 2018

• connectivity of loop_susp_counit

  UlrikBuchholtz

  committed
  9d91957

  Copy full SHA for 9d91957

• the wedge extension lemma actually works!

  UlrikBuchholtz

  committed
  8acdbf3

  Copy full SHA for 8acdbf3

• comparison of fibers between prod_of_wedge and loop_susp_counit

  UlrikBuchholtz

  committed
  f1fe71b

  Copy full SHA for f1fe71b

• alternative version of pushout flattening

  UlrikBuchholtz

  committed
  7a5bb0c

  Copy full SHA for 7a5bb0c

Commits on Jan 26, 2018

• rename pequiv.sigma_char_equiv' to pequiv.sigma_char_pmap

  UlrikBuchholtz

  committed
  f51dac9

  Copy full SHA for f51dac9

Commits on Jan 23, 2018

• fix error in EM

  

  Floris van Doorn

  committed
  3a09e74

  Copy full SHA for 3a09e74

• simplify proof of is_trunc_Grp

  

  Floris van Doorn

  committed
  6de6e72

  Copy full SHA for 6de6e72

Commits on Jan 21, 2018

• prove that [n;k]Grp is an (n+1)-type

  UlrikBuchholtz

  committed
  d7b8530

  Copy full SHA for d7b8530

Commits on Jan 19, 2018

• prove various properties about pointed truncated and/or connected types

  

  Floris van Doorn

  committed
  d5a0080

  Copy full SHA for d5a0080

• work on connectification of a type

  

  Floris van Doorn

  committed
  a22ac8a

  Copy full SHA for a22ac8a

• unindent higher_groups

  

  Floris van Doorn

  committed
  f6bbc75

  Copy full SHA for f6bbc75

Commits on Jan 18, 2018

• fix connectivity levels, they were off by one

  

  Floris van Doorn

  committed
  44cf88a

  Copy full SHA for 44cf88a

• continue working on higher groups

  

  Floris van Doorn

  committed
  9cf33dd

  Copy full SHA for 9cf33dd

• give alternative definition of free group on a set with decidable equality

  

  Floris van Doorn

  committed
  aa19149

  Copy full SHA for aa19149

• Work on pointed naturality of smash-C

  

  Floris van Doorn

  committed
  743985e

  Copy full SHA for 743985e

• Work on notes on smash product

  

  spiceghello

  authored and

  Floris van Doorn

  committed
  5bfb6e8

  Copy full SHA for 5bfb6e8

• continue on unit-counit

  

  Floris van Doorn

  committed
  ac7e75b

  Copy full SHA for ac7e75b

Pagination

Previous

Next