Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 12, 2018

• continue on gysin sequence

  

  Floris van Doorn

  committed
  b251465

• some more algebra

  

  Floris van Doorn

  committed
  94066a6

Commits on Oct 23, 2018

• factor free group on set via free group on pointed set

  UlrikBuchholtz

  committed
  8f99863

Commits on Sep 26, 2018

• some cleanup, and add a todo list

  

  Floris van Doorn

  committed
  acae548

Commits on Sep 20, 2018

• work on dependent smash and cup product on EM-spaces

  Show description for da033c0
  

  Floris van Doorn

  committed
  da033c0

Commits on Sep 11, 2018

• move more and update after changes

  

  Floris van Doorn

  committed
  68345f7

Commits on Sep 10, 2018

• fixes and additions

  Show description for c365004
  

  Floris van Doorn

  committed
  c365004

• fixes after changes in the library

  

  Floris van Doorn

  committed
  e4db64a

Commits on Sep 7, 2018

• generalize the spectral sequence of a sequence of spectrum maps

  

  Floris van Doorn

  committed
  d2c7eb2

Commits on Sep 5, 2018

• fix after moving stuff to library

  Show description for fffc3cd
  

  Floris van Doorn

  committed
  fffc3cd

Commits on Sep 4, 2018

• move more stuff

  

  Floris van Doorn

  committed
  e1d2392

Commits on Aug 19, 2018

• move to lib and older things

  

  Floris van Doorn

  committed
  be0d597

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

Commits on Mar 24, 2018

• minor additions

  

  Floris van Doorn

  committed
  bcb78b4

Commits on Feb 1, 2018

• higher groups: finalize file

  

  Floris van Doorn

  committed
  2f957b7

Commits on Jan 31, 2018

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

  

  Floris van Doorn

  committed
  9914352

• higher groups: prove naturality of all adjunctions

  

  Floris van Doorn

  committed
  85b0463

Commits on Jan 30, 2018

• various things about higher groups

  

  Floris van Doorn

  committed
  98092df

Commits on Jan 29, 2018

• higher_groups: finish adjunction between loop and deloop

  

  Floris van Doorn

  committed
  e0365d2

Commits on Jan 28, 2018

• Prove stabilization and work on equivalence of categories

  

  Floris van Doorn

  committed
  0949070

Commits on Jan 26, 2018

• rename pequiv.sigma_char_equiv' to pequiv.sigma_char_pmap

  UlrikBuchholtz

  committed
  f51dac9

Commits on Jan 23, 2018

• simplify proof of is_trunc_Grp

  

  Floris van Doorn

  committed
  6de6e72

Commits on Jan 21, 2018

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

  UlrikBuchholtz

  committed
  d7b8530

Commits on Jan 19, 2018

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

  

  Floris van Doorn

  committed
  d5a0080

• work on connectification of a type

  

  Floris van Doorn

  committed
  a22ac8a

Commits on Jan 18, 2018

• fix connectivity levels, they were off by one

  

  Floris van Doorn

  committed
  44cf88a

• continue working on higher groups

  

  Floris van Doorn

  committed
  9cf33dd

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

  

  Floris van Doorn

  committed
  aa19149

• Work on pointed naturality of smash-C

  

  Floris van Doorn

  committed
  743985e

Commits on Nov 30, 2017

• small changes in colimit

  

  Floris van Doorn

  committed
  d4ab6e1

Commits on Nov 25, 2017

• prove that iota is n-truncated/n-connected if the maps in the sequence are

  

  Floris van Doorn

  committed
  899e3cf

Commits on Nov 22, 2017

• move colimit project here

  

  Floris van Doorn

  committed
  03cacd2

• Restructure spectral sequences, compute cohomology of projective space

  Show description for 12a9345
  

  Floris van Doorn

  committed
  12a9345

Commits on Sep 14, 2017

• * cleaned up univalent_subcategory.hlean

  Show description for f89edc5
  

  jonas-frey

  authored and

  Floris van Doorn

  committed
  f89edc5

Commits on Aug 22, 2017

• add naturality of sigma's commuting with pushouts

  

  Floris van Doorn

  committed
  b9c2145

Pagination

PreviousNext