Update history

Define the forgetting support map and prove the compatibility by the induction on n for n-truncated maps

PRPR -> 113 -> 133 -> 2PR -> 123 | Finish all 1 - 3|, Remaining diagram follows formally from other diagrams

• 2024 Oct 12: Cannot update before wrapping up a paper I am writing...😭

• 2024 Sep 7: Cannot update till the end of this month😭

• 2024 Aug 24: Cannot update till the end of this month😭

• 2024 Aug 23: Added the construction of the map (FP), forgetting support map.

• 2024 Aug 22: Added commutative diagram (455).

• 2024 Aug 21: Added commutative diagram (445).

• 2024 Aug 20: Added commutative diagram (444).

• 2024 Aug 19: Added commutative diagram (355).

• 2024 Aug 18: Added commutative diagram (345).

• 2024 Aug 17: Added commutative diagram (335) and (344).

• 2024 Aug 16: Could not update because of Gozan no Okuribi.

• 2024 Aug 15: Added commutative diagram (334).

• 2024 Aug 14: Added commutative diagram (245).

• 2024 Aug 13: Added commutative diagram (244).

• 2024 Aug 12: Added commutative diagram (235).

• 2024 Aug 11: Added commutative diagram (224) and (234).

• 2024 Aug 10: Forgot to update😭

• 2024 Aug 9: Added commutative diagram (3TC) and (4TC). 

• 2024 Aug 8: I could not find time for commuting diagram today😭

• 2024 Aug 7: Added commutative diagram (4TU). 

• 2024 Aug 6: Added commutative diagram (3TU). 

• 2024 Aug 5: Added commutative diagram (5HC).

• 2024 Aug 4: Added commutative diagram (2HC). 

• 2024 Aug 3: Added commutative diagram (5HU). 

• 2024 Aug 2: Added commutative diagram (2HU). 

• 2024 Aug 1: I'm back! Hope to regularly update this month. Added (4HC). 

• 2024 June 10 It seems that I cannot update this week as well...

• 2024 June 3: I could not find time for commuting diagram for this week.

• 2024 June 2: I could not find time for commuting diagram today😭

• 2024 June 1: I could not find time for commuting diagram today😭

• 2024 May 31: Added commutative diagram (3HC).

• 2024 May 30: Added commutative diagram (3HU) and (4HU).

• 2024 May 29: Forgot to update😭

• 2024 May 28: Added commutative diagram (5TC).

• 2024 May 27: Added commutative diagram (2TC).

• 2024 May 26: Added commutative diagram (2TU) and (5TU).

• 2024 May 25: I could not find time for commuting diagram today😭 Will add two commutative diagrams tomorrow.

• 2024 May 24: Added commutative diagram (333).

• 2024 May 23: Added commutative diagram (233).

• 2024 May 22: Added commutative diagram (223).

• 2024 May 21: Added commutative diagram (125).

• 2024 May 20: Added commutative diagram (1TC).

• 2024 May 19: Added commutative diagram (1TU).

• 2024 May 18: Added commutative diagram (555).

• 2024 May 17: Added commutative diagram (255).

• 2024 May 16: Added commutative diagram (225).

• 2024 May 15: Added commutative diagram (222).

• 2024 May 14: Added commutative diagram (155).

• 2024 May 13: Added commutative diagram (122).

• 2024 May 12: Added commutative diagram (115).

• 2024 May 11: Added commutative diagram (112).

• 2024 May 10: Fixed commutative diagram (111).

• 2024 May 9: Constructed natural maps (36') (46') (RS) (PV).

• 2024 May 8: Constructed natural maps (26) (36) (46) (56) (66).

• 2024 May 7: Constructed natural maps (24) (25) (34) (35) (44) (45) (55).

• 2024 May 6: Included the definition of 6-functor formalism. Constructed natural maps (13) (14) (15) (16).

• 2024 May 5: Constructed natural maps (22) (23) (33). 

• 2024 May 4: Added commutative diagram (111).

• 2024 May 3: Included the definition of 3-functor formalism. Constructed natural maps (11) (12) (PR).

• 2024 May 2: Beck-Chevalley is associative with respect to composition.

• 2024 May 1: Uploaded PDF, Proved that two constructions of Beck-Chevalley transform coincide,