Related changes

7 May 2025

• diffhist String diagram 01:38 −315 Headbomb talk contribs (ce)

6 May 2025

• diffhist m Preadditive category 15:51 −71 Indef Integral talk contribs (→Examples: Improved brevity and formality)
• diffhist Group (mathematics) 13:44 +167 Quondum talk contribs (→Generalizations: decap table entries for consistency)
• diffhist Group (mathematics) 13:37 −12 Quondum talk contribs (, which → that (restrictive clause is needed here); rephase parenthesis so that it does not have the potential interpretation to mean "this is the only characterization")
• diffhist Group (mathematics) 13:31 +4 Quondum talk contribs (fixing some potential wrapping of punctuation using {{tmath}})
• diffhist Group (mathematics) 13:07 +3 Quondum talk contribs (→Equivalent definition with relaxed axioms: are done → are applied)
• diffhist ∞-topos 12:38 −50 TakuyaMurata talk contribs (remove {{technical|date=May 2017}} for now as it is not clear what part is "unduly" technical.)
• diffhist ∞-topos 12:27 +457 TakuyaMurata talk contribs (start a section on Lurie characterization theorem)
• diffhist String diagram 11:31 +346 HenriBasmati talk contribs (Add reference to recent LICS article for the categorical interpretation of Peirce's existential graphs) Tag: Visual edit
• diffhist m Homotopy hypothesis 06:58 +17 TakuyaMurata talk contribs (→n-version: grammar)
• diffhist m Homotopy hypothesis 06:57 +8 TakuyaMurata talk contribs (→n-version)
• diffhist Homotopy hypothesis 06:57 +75 TakuyaMurata talk contribs (→n-version: really a weak type)
• diffhist m Homotopy hypothesis 06:51 +1 TakuyaMurata talk contribs (→n-version)
• diffhist Homotopy hypothesis 06:50 +604 TakuyaMurata talk contribs (→n-version: mention fundamental n-groupoid)
• diffhist m Groupoid 06:17 −3 TakuyaMurata talk contribs (→Inertial groupoid: typo)
• diffhist Groupoid 06:17 +144 TakuyaMurata talk contribs (→Examples: +Inertial groupoid)
• diffhist Groupoid 06:15 +12 TakuyaMurata talk contribs (→Topology: -> Fundamental groupoid; other examples are also kind of topology)
• diffhist Groupoid 06:14 +8 TakuyaMurata talk contribs (→Finite set: probably ok but we need a citation)
• diffhist Homotopy hypothesis 02:26 +72 1234qwer1234qwer4 talk contribs (lk some authors)
• diffhist Homotopy hypothesis 02:24 −60 1234qwer1234qwer4 talk contribs (→External links: unspecific external link, does not seem helpful)
• diffhist m Sheaf (mathematics) 00:35 +4 1234qwer1234qwer4 talk contribs (→Extension by zero: lk)

5 May 2025

• diffhist Limit (category theory) 23:57 −127 1234qwer1234qwer4 talk contribs (→See also: these are listed in the "examples" section (and two out of three are also mentioned in the lead); see WP:SEEALSO)
• diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
• diffhist British English 17:10 +6 Isochrone talk contribs (tuck into a efn) Tag: 2017 wikitext editor
• diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
• diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
• diffhist m Homotopy hypothesis 12:14 +4 1234qwer1234qwer4 talk contribs (/* Formulations lk)
• diffhist ∞-groupoid 12:10 −14 1234qwer1234qwer4 talk contribs (→See also: WP:SEEALSO, already in lead)
• diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
• diffhist Weak n-category 06:22 +283 Silvermatsu talk contribs (→Reference)
• diffhist Weak n-category 05:45 +30 Silvermatsu talk contribs (→External links)
• diffhist Weak n-category 05:43 +137 Silvermatsu talk contribs (→External links)
• diffhist Weak n-category 05:40 +128 Silvermatsu talk contribs (→Reference)
• diffhist m Natural deduction 00:21 +28 Marc Schroeder talk contribs

4 May 2025

• diffhist m Natural deduction 23:09 −2 Marc Schroeder talk contribs (→Common definition styles)
• diffhist m Natural deduction 20:43 +2 Marc Schroeder talk contribs (→Common definition styles)
• diffhist Natural deduction 20:39 +833 Marc Schroeder talk contribs (→Common definition styles)
• diffhist Natural deduction 18:24 +663 Marc Schroeder talk contribs (Added a reference (Magnus, P.D.; Button, Tim; Trueman, Robert; Zach, Richard (2023). forall x: An Introduction to Formal Logic))
• diffhist American English 17:48 −1 2600:387:15:3f11::4 talk Tags: Mobile edit Mobile web edit
• diffhist American English 17:47 −1 2600:387:15:3f11::4 talk (→Subvarieties: WP:engvar (Merriam Webster) https://www.merriam-webster.com/dictionary/subvariety) Tags: Mobile edit Mobile web edit
• diffhist Weak n-category 16:01 +20 Silvermatsu talk contribs (→Reference)
• diffhist Weak n-category 16:01 +257 Silvermatsu talk contribs (→Reference: | Altered template type. Add: isbn, pages, volume, date, series, title, chapter, authors 1-1. Upgrade ISBN10 to 13. | Use this tool. Report bugs. | #UCB_Gadget)
• diffhist Weak n-category 15:29 −99 Silvermatsu talk contribs (→External links)
• diffhist Weak n-category 15:29 +19 Silvermatsu talk contribs (→Reference)
• diffhist Weak n-category 15:28 +311 Silvermatsu talk contribs (→Reference: | Altered template type. Add: isbn, pages, volume, date, series, title, chapter, authors 1-2. | Use this tool. Report bugs. | #UCB_Gadget)
• diffhist Weak n-category 15:26 +362 Silvermatsu talk contribs (→Reference)
• diffhist Weak n-category 15:26 −362 Silvermatsu talk contribs (→External links: move to ref)
• diffhist Weak n-category 15:26 −181 Silvermatsu talk contribs (→External links: move to ref)
• diffhist Weak n-category 15:25 +179 Silvermatsu talk contribs (→Reference)
• diffhist Weak n-category 15:22 −107 Silvermatsu talk contribs (→External links: move to ref)