Monoidal category: Revision history

28 January 2024

• curprev 05:4105:41, 28 January 2024‎ Tangledyarn talk contribs‎ 17,573 bytes −148‎ Moved "Preordered Monoid" definition to "Specializations section", reworded, removed tone tag. undo

18 January 2024

• curprev 19:2319:23, 18 January 2024‎ TheMathCat talk contribs‎ m 17,721 bytes +17‎ doi-access for a ref undo
• curprev 14:0714:07, 18 January 2024‎ 130.79.208.145 talk‎ 17,704 bytes +1‎ →‎Monoidal preorders: Typos undo
• curprev 03:3103:31, 18 January 2024‎ Magenta.lily talk contribs‎ 17,703 bytes −1,796‎ →‎Monoidal preorders: Copy editting undo Tags: Visual edit Newcomer task Newcomer task: copyedit

29 December 2023

• curprev 03:4303:43, 29 December 2023‎ Frangiosi talk contribs‎ m 19,499 bytes 0‎ changed "iff" to "if" -- changed "tensorproduct" to tensor product" undo Tags: Visual edit Newcomer task Newcomer task: copyedit

24 December 2023

• curprev 21:5721:57, 24 December 2023‎ Sajinsajin talk contribs‎ 19,499 bytes −25‎ Improved tone/wording in section Monoidal preorders undo Tags: Visual edit Newcomer task Newcomer task: copyedit

19 December 2023

• curprev 07:3507:35, 19 December 2023‎ Orrayawins talk contribs‎ 19,524 bytes −18‎ No edit summary undo Tags: Visual edit Newcomer task Newcomer task: copyedit

13 December 2023

• curprev 01:4701:47, 13 December 2023‎ Aurodea108 talk contribs‎ m 19,542 bytes +1‎ Minor copy editing. undo Tags: Visual edit Newcomer task Newcomer task: copyedit

26 February 2023

• curprev 16:4316:43, 26 February 2023‎ WikiCleanerBot talk contribs‎ m 19,541 bytes −10‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation - Empty list item - <nowiki> tags) undo Tag: WPCleaner

22 February 2023

• curprev 02:3402:34, 22 February 2023‎ Citation bot talk contribs‎ 19,551 bytes −35‎ Alter: template type. Add: eprint, class, authors 1-1. Removed proxy/dead URL that duplicated identifier. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

19 February 2023

• curprev 21:2121:21, 19 February 2023‎ Davidvandebunte talk contribs‎ 19,586 bytes +326‎ Add a reference for terminology. undo Tag: Visual edit

29 January 2023

• curprev 07:4207:42, 29 January 2023‎ OAbot talk contribs‎ m 19,260 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

7 September 2022

• curprev 06:1306:13, 7 September 2022‎ RDBrown talk contribs‎ 19,243 bytes +33‎ tweak cites (zbl) undo

6 September 2022

• curprev 00:2800:28, 6 September 2022‎ RDBrown talk contribs‎ 19,210 bytes +739‎ →cite book, journal, tweak cites undo

4 August 2022

• curprev 18:0118:01, 4 August 2022‎ 2600:4040:1309:c800:d1d4:960:2656:9c0a talk‎ 18,471 bytes +324‎ →‎Examples: Added commutative monoids to examples undo

4 October 2021

• curprev 13:5213:52, 4 October 2021‎ 2a02:1812:110c:dc00:b1e3:6883:35d1:1868 talk‎ 18,147 bytes +84‎ No edit summary undo

7 June 2021

• curprev 01:2001:20, 7 June 2021‎ Allforrous talk contribs‎ 18,063 bytes +33‎ →‎References: Commonscatinline template. undo

1 May 2021

• curprev 07:2407:24, 1 May 2021‎ TheMathCat talk contribs‎ m 18,030 bytes +4‎ Link to Journal added undo

9 November 2020

• curprev 21:5421:54, 9 November 2020‎ Lltrujello talk contribs‎ 18,026 bytes −2,432‎ The "lax monoidal category" definition is highly inappropriate and irrelevant so I've removed it. It's some really niche, in-depth operad thing, and is most definitely not what any reader visiting this page is looking for. Moreover, it makes the concept of monoidal categories look 100x more complex than necessary. Maybe it could go on the nLab. undo

13 June 2020

• curprev 12:2312:23, 13 June 2020‎ 2a01:cb05:8b66:1e00:389a:7ad9:e49e:4381 talk‎ 20,458 bytes 0‎ →‎Formal definition: Fixed typo (probably vandalism). undo Tags: Mobile edit Mobile web edit

12 June 2020

• curprev 00:2500:25, 12 June 2020‎ Sergio9416 talk contribs‎ 20,458 bytes +4‎ →‎Formal definition undo
• curprev 00:2300:23, 12 June 2020‎ Sergio9416 talk contribs‎ 20,454 bytes +60‎ →‎Formal definition undo
• curprev 00:2200:22, 12 June 2020‎ Sergio9416 talk contribs‎ 20,394 bytes +153‎ →‎Formal definition undo
• curprev 00:0800:08, 12 June 2020‎ Sergio9416 talk contribs‎ 20,241 bytes +10‎ →‎Formal definition undo
• curprev 00:0600:06, 12 June 2020‎ Sergio9416 talk contribs‎ 20,231 bytes 0‎ →‎Formal definition undo
• curprev 00:0500:05, 12 June 2020‎ Sergio9416 talk contribs‎ 20,231 bytes +25‎ →‎Formal definition undo
• curprev 00:0300:03, 12 June 2020‎ Sergio9416 talk contribs‎ 20,206 bytes +81‎ →‎Formal definition undo
• curprev 00:0000:00, 12 June 2020‎ Sergio9416 talk contribs‎ 20,125 bytes +2,099‎ →‎Formal definition undo

9 June 2020

• curprev 16:0116:01, 9 June 2020‎ Piroxiline talk contribs‎ 18,026 bytes +278‎ Basic talk about types and identity objects is impossible without distinction of product and sum types undo
• curprev 15:5715:57, 9 June 2020‎ Piroxiline talk contribs‎ 17,748 bytes +119‎ Draw a perfect analogy to the school algebra, sum identity is 0, product identity is 1 undo
• curprev 15:5115:51, 9 June 2020‎ Piroxiline talk contribs‎ 17,629 bytes −17‎ The talk is about product types ((a,b),c) - their identity object is unit (); (a,())~a undo

23 April 2020

• curprev 03:3003:30, 23 April 2020‎ Magmalex talk contribs‎ m 17,646 bytes −2‎ →‎Formal definition: substituted removes with cancels, since this is a sort of cancellation undo

24 March 2020

• curprev 23:1123:11, 24 March 2020‎ PiotrParadzinski talk contribs‎ m 17,648 bytes +21‎ add category theory template undo

13 March 2020

• curprev 16:1016:10, 13 March 2020‎ 79.66.120.66 talk‎ 17,627 bytes +1‎ Direction of map alpha corrected, to match usage in both coherence diagrams and to agree with Mac Lane's book. undo

10 March 2020

• curprev 22:4122:41, 10 March 2020‎ Lltrujello talk contribs‎ 17,626 bytes +32‎ No edit summary undo
• curprev 22:3922:39, 10 March 2020‎ Lltrujello talk contribs‎ 17,594 bytes −34‎ →‎Formal definition undo
• curprev 22:3722:37, 10 March 2020‎ Lltrujello talk contribs‎ 17,628 bytes +544‎ →‎Formal definition undo

21 February 2020

• curprev 21:3521:35, 21 February 2020‎ Joel Brennan talk contribs‎ m 17,084 bytes −99‎ fixed typos undo

8 February 2020

• curprev 21:1521:15, 8 February 2020‎ Bellowhead678 talk contribs‎ m 17,183 bytes +67‎ monodial-> added template - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 21:1521:15, 8 February 2020‎ Bellowhead678 talk contribs‎ m 17,116 bytes +67‎ monodial-> added template - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

29 January 2020

• curprev 15:5515:55, 29 January 2020‎ JHahnHRO talk contribs‎ 17,049 bytes +354‎ Monoids themselves are also examples undo

20 November 2019

• curprev 15:3515:35, 20 November 2019‎ 2001:861:3ac0:4fa0:3cd6:1605:ebda:2f02 talk‎ 16,695 bytes +36‎ No edit summary undo

22 October 2019

• curprev 15:1315:13, 22 October 2019‎ 134.59.11.233 talk‎ 16,659 bytes −3‎ No edit summary undo

17 September 2019

• curprev 05:3305:33, 17 September 2019‎ BrownHairedGirl talk contribs‎ m 16,662 bytes −4‎ replace link to deleted Portal:Category theory with Portal:Mathematics undo Tag: AWB

12 September 2019

• curprev 15:2715:27, 12 September 2019‎ 184.66.161.104 talk‎ 16,666 bytes −6‎ remove extraneous "there" undo

4 June 2019

• curprev 23:3723:37, 4 June 2019‎ I dream of horses talk contribs‎ m 16,672 bytes −14‎ Clean up, typo(s) fixed: well-known → well known undo Tag: AWB

6 March 2019

• curprev 07:3907:39, 6 March 2019‎ 95.195.208.98 talk‎ 16,686 bytes +395‎ Added reference: Baez's "Rosetta stone" undo

5 March 2019

• curprev 21:1721:17, 5 March 2019‎ 95.195.208.98 talk‎ 16,291 bytes +1‎ Tweaked wording undo
• curprev 21:1021:10, 5 March 2019‎ 95.195.208.98 talk‎ 16,290 bytes +856‎ Data types as monoidal category example undo

6 January 2019

• curprev 09:3809:38, 6 January 2019‎ 68.146.222.64 talk‎ 15,434 bytes +7‎ →‎Formal definition: centered commutative diagram undo