1. 02 Jul, 2020 3 commits
  2. 28 Jun, 2020 1 commit
  3. 27 Jun, 2020 1 commit
  4. 26 Jun, 2020 2 commits
  5. 25 Jun, 2020 2 commits
  6. 13 Jun, 2020 1 commit
  7. 09 Jun, 2020 1 commit
  8. 03 Jun, 2020 1 commit
  9. 01 Jun, 2020 2 commits
  10. 30 May, 2020 1 commit
  11. 27 May, 2020 1 commit
  12. 25 May, 2020 1 commit
  13. 08 May, 2020 1 commit
  14. 04 May, 2020 1 commit
  15. 02 May, 2020 1 commit
  16. 01 May, 2020 1 commit
  17. 29 Apr, 2020 1 commit
  18. 24 Apr, 2020 1 commit
  19. 21 Apr, 2020 1 commit
  20. 17 Apr, 2020 1 commit
  21. 16 Apr, 2020 1 commit
  22. 14 Apr, 2020 1 commit
  23. 13 Apr, 2020 1 commit
  24. 08 Apr, 2020 1 commit
  25. 02 Apr, 2020 1 commit
  26. 31 Mar, 2020 1 commit
  27. 30 Mar, 2020 1 commit
  28. 26 Mar, 2020 1 commit
  29. 22 Jan, 2020 2 commits
  30. 21 Jan, 2020 3 commits
  31. 20 Jan, 2020 1 commit
  32. 17 Jan, 2020 1 commit
    • Leonard Guetta's avatar
      I have to stop due to teaching duties. First thing to do during the next... · 9af933dd
      Leonard Guetta authored
      I have to stop due to teaching duties. First thing to do during the next session : improve paragraph 1.2.2 in the style of 1.2.1. Then I have to finish this section. After that, it seems logical to me to write a section where I define the notion of 'weakly generating set of the k-cells' and 'basis of the k-cells' of a n-category and then a section where I explain how to compute colimits in nCat. Maybe the order should be 'section on basis' then 'section on generating cells' then 'section on colimits'.
      9af933dd