Jump to content

Functor: Revision history


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

11 August 2024

10 August 2024

6 June 2024

31 May 2024

27 November 2023

26 November 2023

25 November 2023

15 October 2023

4 June 2023

22 February 2023

24 December 2022

9 December 2022

6 December 2022

2 December 2022

5 October 2022

17 June 2022

27 May 2022

25 May 2022

24 May 2022

20 May 2022

4 April 2022

13 March 2022

12 March 2022

31 October 2021

30 October 2021

  • curprev 17:0317:03, 30 October 2021 46.2.5.174 talk 23,321 bytes 0 Covariance and contravariance: Small mistake in the second condition for functors. Given the way f and g are defined, F(f).F(g) would be invalid as the codomain of F(g), which is F(Z), is not equal to the domain of F(f), which is F(X). The correct operation is F(g).F(f), where the codomain of F(f) and domain of F(g) are both equal to F(Y). In fact, the order of morphisms is not supposed to change. As for source, I suppose https://bartoszmilewski.com/2015/01/20/ would do? undo Tag: Reverted

22 October 2021

25 July 2021

13 July 2021

12 July 2021

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)