User contributions for Bafain
Results for Bafain talk block log uploads logs global block log global account filter log
A user with 16 edits. Account created on 15 May 2017.
13 February 2021
- 08:1508:15, 13 February 2021 diff hist +16 m Normalisation by evaluation "λ-calculus" is written with a hyphen Tag: Visual edit: Switched
23 January 2020
- 17:1617:16, 23 January 2020 diff hist 0 m Multicategory →Definition: more consistent subscripting
13 September 2018
- 11:0511:05, 13 September 2018 diff hist +2 m Extension by new constant and function names grammar
17 August 2018
- 13:2513:25, 17 August 2018 diff hist −1 m Gδ space Undid revision 806367153 by 2405:204:4108:92D:FD3:55F1:7125:C8CC (talk) Tag: Undo
10 July 2018
- 15:1815:18, 10 July 2018 diff hist +4 m Free group →Universal property: Add definite article
25 April 2018
- 13:3113:31, 25 April 2018 diff hist −26 m Presheaf (category theory) Use template for nLab citation
- 13:2213:22, 25 April 2018 diff hist 0 m Presheaf (category theory) →Further reading: typo
- 13:2113:21, 25 April 2018 diff hist 0 m Presheaf (category theory) →See also: typo
- 13:2013:20, 25 April 2018 diff hist −1 m Presheaf (category theory) typo
23 April 2018
- 08:4408:44, 23 April 2018 diff hist +1 m Étale algebra →Definitions: typo
5 November 2017
- 17:0317:03, 5 November 2017 diff hist +1 m Univalent foundations →Current developments: typo
22 October 2017
- 16:3516:35, 22 October 2017 diff hist 0 m Ethics in mathematics →Disasters and scandals involving the use of mathematics: typo
24 July 2017
- 10:4910:49, 24 July 2017 diff hist 0 m Modal μ-calculus →Denotational semantics: typo
22 May 2017
- 12:1912:19, 22 May 2017 diff hist +5 m Exact completion →Construction: typo
- 08:1908:19, 22 May 2017 diff hist +11 m Nerve complex →The Čech nerve: typo
15 May 2017
- 10:5210:52, 15 May 2017 diff hist 0 m Exact completion typo
