Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 3955bd89f2
  
  Dernières modifications master Samy Avrillon 2024-09-03 22:58:12 +02:00
• b8ed28e8e4
  
  Quick fixes Samy Avrillon 2024-09-03 18:22:20 +02:00
• a7df1d8369
  
  Suppression des slides superfules Samy Avrillon 2024-09-03 11:35:58 +02:00
• c36520f1a3
  
  Correction d'erreurs Samy Avrillon 2024-09-03 08:47:52 +02:00
• 4c7b5b604e
  
  More diapos Samy Avrillon 2024-09-01 01:16:52 +02:00
• 44c61e7ff8
  
  Plan complet Samy Avrillon 2024-08-31 01:52:43 +02:00
• 84b61cc1bc
  
  Début du diapo de soutenance Samy Avrillon 2024-08-30 01:38:44 +02:00
• 1bfa214cde
  
  Une relecture de plus ne fait jamais de mal Samy Avrillon 2024-08-20 01:09:56 +02:00
• c22581c3a0
  
  Typos grammaticales Samy Avrillon 2024-08-19 16:51:02 +02:00
• 5363b3d76e
  
  Modifications d'Ambroise Samy Avrillon 2024-08-19 15:21:21 +02:00
• 1019ac6702
  
  Potypos Samy Avrillon 2024-08-18 19:52:55 +02:00
• 1d0860712e
  
  Modification du document pour rendu. Inclusion de la synthèse dans le document Samy Avrillon 2024-08-18 18:52:31 +02:00
• 0cdf37e75a
  
  Ajout d'une conclusion Samy Avrillon 2024-08-18 13:26:17 +02:00
• d9c4e0e8b2
  
  Changement de la propriété universelle, changement des isos, coupé le gros diagramme en deux Samy Avrillon 2024-08-18 12:39:58 +02:00
• f6bc7f8db9
  
  Prise en compte des commentaires, déplacement de la preuve de l'adjonction en annexe Samy Avrillon 2024-08-17 01:43:49 +02:00
• 4effe18e0f
  
  Removing examples from the proof Samy Avrillon 2024-08-16 20:40:28 +02:00
• 639dbfbc50
  
  Correcting example part Samy Avrillon 2024-08-16 20:24:29 +02:00
• 19f72c6f51
  
  Ajout d'une partie exemples Samy Avrillon 2024-08-16 19:53:39 +02:00
• fa2353c84c
  
  Modification de la synthèse selon les commentaires Samy Avrillon 2024-08-16 02:05:34 +02:00
• 86dd4ec900
  
  Renamed Graphs Samy Avrillon 2024-08-16 00:59:15 +02:00
• 17d3a5b0d8
  
  Fixed bibliography Samy Avrillon 2024-08-16 00:06:50 +02:00
• 1b087759bb
  
  Filled part 3 (2/3) Samy Avrillon 2024-08-15 23:32:42 +02:00
• 6a3547929e
  
  Modifications du rapport selon les retours. Suppression d'une bonne partie des TODO Samy Avrillon 2024-08-14 19:08:18 +02:00
• 854aef6a88
  
  Fin de la réharmonisation des preuves du document principal Samy Avrillon 2024-08-06 11:20:14 +02:00
• b3af010882
  
  Replaced a lot of oplus to tl Samy Avrillon 2024-08-02 11:41:32 +02:00
• 87358efe42
  
  Ajout de l'opérateur triangle, début Samy Avrillon 2024-07-30 14:04:46 +02:00
• 5c75b2b701
  
  Completed proof of reflection Samy Avrillon 2024-07-26 11:30:26 +02:00
• 93d565a4c7
  
  Took into account modifications Samy Avrillon 2024-07-25 01:14:29 +02:00
• f0c9453836
  
  Hom(GΓ,-) ---> H Samy Avrillon 2024-07-20 00:52:38 +02:00
• a4596781d3
  
  Changed introduction Samy Avrillon 2024-07-19 20:35:26 +02:00
• a779d3ed7f
  
  More paragraphs Samy Avrillon 2024-07-18 15:35:28 +02:00
• e9da8a9107
  
  Adapt the construction of the adjunction Samy Avrillon 2024-07-18 03:46:43 +02:00
• b27dcbd2ca
  
  Modified first part, constructing the category Samy Avrillon 2024-07-17 20:30:33 +02:00
• 545dbd7553
  
  Changed intro to be more understandable Samy Avrillon 2024-07-16 17:09:22 +02:00
• d247b98bc5
  
  Modifications Samy Avrillon 2024-07-12 13:17:26 +02:00
• 4ca4dfb1c8
  
  First commit - First state of the report (unordered proofs and diagrams) Samy Avrillon 2024-06-20 13:28:10 +02:00