User contributions for Ncfavier
Appearance
A user with 89 edits. Account created on 13 November 2016.
11 July 2024
- 19:4619:46, 11 July 2024 diff hist −5 Equivalence of categories →Alternative characterizations: "weak equivalence of categories" means the exact same thing in HoTT. The notion of a "weak equivalence" in the canonical model structure on Cat is slightly different. current
9 July 2024
- 09:5309:53, 9 July 2024 diff hist −2 Naming law in Sweden Undid revision 1226122009 by Entropy32345653 (talk) current Tag: Undo
8 July 2024
- 09:4109:41, 8 July 2024 diff hist +26 m Friedman translation →Application: clarify the implication current
3 July 2024
- 10:5210:52, 3 July 2024 diff hist −3 m Plate trick →External links: fix link current
1 July 2024
- 08:2808:28, 1 July 2024 diff hist +14 m Petroleum reservoir add link to gas flares
26 June 2024
- 17:2517:25, 26 June 2024 diff hist 0 m Binary relation →Difunctional: fix typo Rigeut → Riguet
29 May 2024
- 10:2010:20, 29 May 2024 diff hist +7 m Double groupoid →Homotopy double groupoid: add missing word current
27 May 2024
- 11:1211:12, 27 May 2024 diff hist +224 Keyboard suite in D minor (HWV 437) →In popular culture: add Nausicaä current
26 May 2024
- 10:2110:21, 26 May 2024 diff hist −3 m Monad (functional programming) →Derivation from functors: fix typo current
20 May 2024
- 12:3312:33, 20 May 2024 diff hist +43 Fibration →Puppe sequence: request expert attention
- 12:2812:28, 20 May 2024 diff hist +543 Talk:Fibration →Error?: new section Tag: New topic
14 May 2024
- 15:4915:49, 14 May 2024 diff hist +26 m History of type theory →Identity Proofs are Not Unique, 1994: link to homotopy type theory
17 April 2024
- 17:5817:58, 17 April 2024 diff hist +643 Talk:Gaussian elimination →Linking to French Wikipedia: new section current Tag: New topic
18 March 2024
- 16:1316:13, 18 March 2024 diff hist +1 m Space debris fix typo
14 March 2024
- 15:2215:22, 14 March 2024 diff hist +42 N Bidirectional transformations Add redirect from plural current Tag: New redirect
- 15:2015:20, 14 March 2024 diff hist +91 Optic (disambiguation) Add computer science meaning
- 10:5210:52, 14 March 2024 diff hist +24 m Seri people →Language: add main article
22 February 2024
- 12:5812:58, 22 February 2024 diff hist −15 m Monoidal functor →Definition: clarify
12 January 2024
- 11:1211:12, 12 January 2024 diff hist +140 Schwartzian transform →Comparison to other languages: add Haskell
25 December 2023
- 11:4011:40, 25 December 2023 diff hist −19 m K-edge-connected graph →Related concepts: remove 'obviously' WP:OFCOURSE
10 November 2023
- 08:4008:40, 10 November 2023 diff hist −195 Lambda cube Remove rewrite template as the initial concerns seem to be resolved
31 October 2023
- 11:3311:33, 31 October 2023 diff hist +20 m John Major →Public commemoration: add missing symbol from McBride quote
- 11:1811:18, 31 October 2023 diff hist +4 m John Major →Public commemoration: linkify Conor McBride
28 July 2023
- 23:1023:10, 28 July 2023 diff hist +41 N Combinadics ←Redirected page to Combinatorial number system Tag: New redirect
26 July 2023
- 22:1522:15, 26 July 2023 diff hist +428 List of technical death metal bands Add Blotted Science
29 May 2023
- 18:1118:11, 29 May 2023 diff hist +259 Slowloris (computer security) Revert vandalism Tag: Manual revert
28 May 2023
- 12:1012:10, 28 May 2023 diff hist +8 m Modal μ-calculus →Denotational semantics: Clarify fixed point expression
26 May 2023
- 11:2711:27, 26 May 2023 diff hist 0 m Exact sequence →Integers modulo two: use consistent notation for the trivial group 0
7 April 2023
- 20:2120:21, 7 April 2023 diff hist +42 Homotopy type theory →The univalence axiom: add links
5 April 2023
- 00:2500:25, 5 April 2023 diff hist 0 m Vase life typo current
20 March 2023
- 14:0614:06, 20 March 2023 diff hist +25 m Group action →Examples: disambiguate involution link
- 13:3613:36, 20 March 2023 diff hist +195 User talk:35.139.154.158 →ℤ-actions: Reply Tag: Reply
- 13:3513:35, 20 March 2023 diff hist +11 m Group action →Examples: wording
- 13:3313:33, 20 March 2023 diff hist +266 Group action →Examples: re-add ℤ- and ℤ/2ℤ-actions Tag: Disambiguation links added
19 March 2023
- 19:4419:44, 19 March 2023 diff hist +455 User talk:35.139.154.158 →ℤ-actions: Reply Tag: Reply
- 15:4515:45, 19 March 2023 diff hist −11 User:Ncfavier No edit summary current
- 15:2515:25, 19 March 2023 diff hist +1,035 User talk:35.139.154.158 →ℤ-actions: new section Tag: New topic
- 13:2313:23, 19 March 2023 diff hist +132 Group action →Examples: add ℤ-actions Tag: Reverted
16 March 2023
- 12:0512:05, 16 March 2023 diff hist +257 Template talk:Timeline of release years →TBA should be abbr'd: Reply Tag: Reply
- 12:0412:04, 16 March 2023 diff hist +109 m Module:Timeline of release years/sandbox sync Tag: Manual revert
- 12:0212:02, 16 March 2023 diff hist +112 Module:Timeline of release years Add abbr tag on 'TBA' rows current
- 11:5911:59, 16 March 2023 diff hist −109 Module:Timeline of release years/sandbox revert TBA changes for comparison Tag: Reverted
- 11:5511:55, 16 March 2023 diff hist 0 Module:Timeline of release years/sandbox fix TBA abbr
- 10:1110:11, 16 March 2023 diff hist +112 Module:Timeline of release years/sandbox add abbr to TBA
- 09:3609:36, 16 March 2023 diff hist +8 m Professor Layton →Games: use TBA template
- 09:3609:36, 16 March 2023 diff hist +256 Template talk:Timeline of release years →TBA should be abbr'd: new section Tag: New topic
6 March 2023
- 11:1111:11, 6 March 2023 diff hist +42 m Sheaf (mathematics) →The étalé space of a sheaf: mention alternative spelling of étale
- 11:0711:07, 6 March 2023 diff hist 0 Gluing axiom →Sheafification
- 11:0611:06, 6 March 2023 diff hist +65 m Gluing axiom →Sheafification: link to the relevant section in Sheaf
3 February 2023
- 15:0615:06, 3 February 2023 diff hist +50 N Zuttomayo Redirect to Zutomayo current Tag: New redirect