Catamorphism: Revision history

8 March 2024

• curprev 19:3219:32, 8 March 2024‎ 128.91.127.8 talk‎ 14,533 bytes −24‎ Category theory and functional programming are two different communities which share substantial overlap. Functional programmers use category theory as a tool to model problems and introduce new terminology as appropriate to their problem domain. The term "catamorphism" does not appear in any book on pure category theory, it is exclusively a term that is used by functional programmers. undo

11 February 2024

• curprev 08:1408:14, 11 February 2024‎ 46.193.65.196 talk‎ 14,557 bytes 0‎ →‎List fold: fixed the incorrect casing of the "p" in "MaybeProd" undo

28 January 2024

• curprev 03:0303:03, 28 January 2024‎ WikiCleanerBot talk contribs‎ m 14,557 bytes −1‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

24 January 2024

• curprev 18:0218:02, 24 January 2024‎ Jd2089 talk contribs‎ 14,558 bytes +1,529‎ →‎List fold: Added details on the functor in question and the relation to list folds, also added a reference for the initial algebra undo
• curprev 10:2910:29, 24 January 2024‎ Jd2089 talk contribs‎ 13,029 bytes −118‎ Fixed error(s) in this example and added references for the construction of the initial algebra and the cata map of the Maybe functor. For example the definition of StepAlgebra in the code was not as it was described in the text, it needs to be "type StepAlgebra b = (b, fmaybe b->b)" in the notation of the old example. The example now correctly (as in the Definition section) describes the initial algebra and the cata map for the F-Algebra of the Maybe functor. undo

10 January 2023

• curprev 18:3718:37, 10 January 2023‎ 147.188.245.190 talk‎ 13,147 bytes −1‎ →‎General case: Maybes's -> Maybe's undo Tag: Visual edit

4 January 2023

• curprev 19:4519:45, 4 January 2023‎ Citation bot talk contribs‎ 13,148 bytes +18‎ Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 380/3439 undo

18 August 2021

• curprev 15:2715:27, 18 August 2021‎ 82.196.111.14 talk‎ 13,130 bytes +24‎ {{confuse}} undo Tags: Mobile edit Mobile web edit

6 July 2021

• curprev 14:2114:21, 6 July 2021‎ OAbot talk contribs‎ m 13,106 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

11 March 2021

• curprev 12:2012:20, 11 March 2021‎ AquitaneHungerForce talk contribs‎ m 13,089 bytes +169‎ →‎Definition: Added math formatting undo
• curprev 10:5610:56, 11 March 2021‎ AquitaneHungerForce talk contribs‎ m 12,920 bytes −8‎ Language tagging. undo

13 January 2021

• curprev 19:1119:11, 13 January 2021‎ Monkbot talk contribs‎ m 12,928 bytes +3‎ Task 18 (cosmetic): eval 4 templates: hyphenate params (3×); undo Tag: AWB

11 May 2020

• curprev 17:3117:31, 11 May 2020‎ DannyS712 bot talk contribs‎ m 12,925 bytes +216‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

7 May 2020

• curprev 02:1402:14, 7 May 2020‎ KartikSinghal talk contribs‎ 12,709 bytes +61‎ →‎Terminology and history: Fix reference undo Tag: 2017 wikitext editor

4 December 2019

• curprev 02:5502:55, 4 December 2019‎ Citation bot talk contribs‎ m 12,648 bytes −10‎ Alter: issue. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

27 September 2019

• curprev 11:3911:39, 27 September 2019‎ Monkbot talk contribs‎ m 12,658 bytes −1‎ →‎Terminology and history: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

9 February 2019

• curprev 23:2223:22, 9 February 2019‎ Uanfala talk contribs‎ m 12,659 bytes 0‎ typo undo

16 July 2018

• curprev 22:3722:37, 16 July 2018‎ 178.115.131.143 talk‎ 12,659 bytes −16‎ →‎List fold: explain typo edited previously undo

15 January 2018

• curprev 08:2108:21, 15 January 2018‎ Cedar101 talk contribs‎ m 12,675 bytes +26‎ →‎List fold: <source inline> undo
• curprev 08:2008:20, 15 January 2018‎ Cedar101 talk contribs‎ m 12,649 bytes +26‎ →‎Iteration: <source inline> undo

9 January 2018

• curprev 08:5308:53, 9 January 2018‎ Spintendo talk contribs‎ 12,623 bytes +14‎ →‎List fold: I believe this is meant to say "This merging of 'a' as pair" undo

6 December 2017

• curprev 17:4617:46, 6 December 2017‎ Siddharthist talk contribs‎ 12,609 bytes +210‎ →‎See also: Add brief explanations of terms to the "See also" for ease of navigation undo Tag: 2017 wikitext editor

19 October 2017

• curprev 13:3213:32, 19 October 2017‎ AaronNGray talk contribs‎ m 12,399 bytes +6‎ →‎External links: Fixed link Catamorphisms by Edward Kmett undo

1 August 2017

• curprev 03:1903:19, 1 August 2017‎ InternetArchiveBot talk contribs‎ 12,393 bytes +144‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v1.5beta) undo

13 June 2017

• curprev 18:0318:03, 13 June 2017‎ Omnipaedista talk contribs‎ 12,249 bytes −28‎ quot. marks for glosses undo

6 January 2017

• curprev 02:2902:29, 6 January 2017‎ JJMC89 talk contribs‎ 12,277 bytes −5‎ WP:FIX + general fixes, typo(s) fixed: this this → this (2)) (AWB (12142) undo

14 November 2016

• curprev 04:1304:13, 14 November 2016‎ Giraffedata talk contribs‎ 12,282 bytes +7‎ English syntax undo

13 November 2016

• curprev 16:5916:59, 13 November 2016‎ Pintoch talk contribs‎ m 12,275 bytes −7‎ →‎Terminology and history: change |id={{citeseerx}} to |citeseerx= using AWB undo

12 November 2016

• curprev 19:2019:20, 12 November 2016‎ 185.25.95.132 talk‎ 12,282 bytes +7‎ →‎Tree fold undo
• curprev 19:1619:16, 12 November 2016‎ 185.25.95.132 talk‎ 12,275 bytes +367‎ No edit summary undo

14 February 2016

• curprev 12:3312:33, 14 February 2016‎ Hairy Dude talk contribs‎ 11,908 bytes +5‎ →‎Definition: use composition operator rather than Haskell notation undo Tags: Mobile edit Mobile web edit
• curprev 12:2912:29, 14 February 2016‎ Hairy Dude talk contribs‎ 11,903 bytes +57‎ briefly describe hylomorphisms undo Tags: Mobile edit Mobile web edit

13 October 2015

• curprev 00:4000:40, 13 October 2015‎ Elockid talk contribs‎ m 11,846 bytes −12‎ Reverted edits by Mod king (talk) to last version by 122.57.150.248 undo
• curprev 00:3800:38, 13 October 2015‎ Mod king talk contribs‎ 11,858 bytes +12‎ No edit summary undo Tag: Visual edit

15 August 2015

• curprev 06:2906:29, 15 August 2015‎ 122.57.150.248 talk‎ 11,846 bytes −4‎ No edit summary undo

10 August 2015

• curprev 06:3606:36, 10 August 2015‎ Yobot talk contribs‎ m 11,850 bytes −8‎ WP:CHECKWIKI error fixes using AWB (11362) undo

15 July 2015

• curprev 16:5016:50, 15 July 2015‎ Phil Boswell talk contribs‎ 11,858 bytes +54‎ Adding/improving reference(s) undo

26 May 2015

• curprev 17:4117:41, 26 May 2015‎ 144.228.7.42 talk‎ 11,804 bytes −19‎ →‎General case undo

26 January 2015

• curprev 16:3316:33, 26 January 2015‎ Steven Shaw talk contribs‎ 11,823 bytes +25‎ Update url to Edward Kmett's article undo

12 January 2015

• curprev 09:1309:13, 12 January 2015‎ Niceguyedc talk contribs‎ m 11,798 bytes +31‎ WPCleaner v1.34 - Repaired 1 link to disambiguation page - (You can help) - Haskell undo

28 October 2014

• curprev 21:1121:11, 28 October 2014‎ Alanyst talk contribs‎ 11,767 bytes +30‎ "suck" -> "successor" undo

24 October 2014

• curprev 08:2308:23, 24 October 2014‎ 195.37.61.178 talk‎ 11,737 bytes −1‎ →‎List fold undo

29 September 2014

• curprev 17:5617:56, 29 September 2014‎ 84.112.69.136 talk‎ 11,738 bytes +120‎ No edit summary undo
• curprev 17:4017:40, 29 September 2014‎ 84.112.69.136 talk‎ 11,618 bytes +1,797‎ No edit summary undo
• curprev 15:3115:31, 29 September 2014‎ 185.25.95.132 talk‎ 9,821 bytes +731‎ No edit summary undo
• curprev 14:5514:55, 29 September 2014‎ 86.137.212.200 talk‎ 9,090 bytes −1‎ No edit summary undo

28 September 2014

• curprev 16:3916:39, 28 September 2014‎ 213.129.230.10 talk‎ 9,091 bytes +247‎ No edit summary undo
• curprev 16:0716:07, 28 September 2014‎ 213.129.230.10 talk‎ 8,844 bytes +18‎ No edit summary undo
• curprev 15:5015:50, 28 September 2014‎ 213.129.230.10 talk‎ 8,826 bytes +10‎ No edit summary undo
• curprev 15:3815:38, 28 September 2014‎ 213.129.230.10 talk‎ 8,816 bytes +10‎ No edit summary undo