Jump to content

Related changes

← Homotopy type theory

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 04:05, 8 April 2025

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

7 April 2025

diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)
diffhist m Topology 02:30 −11 SnazzyJazzyAzzy talk contribs (Removed the word "holeless" from the description of a gif of a cow being deformed into a sphere -- nostrils are shown on the cow, and it can be assumed that other holes are present, though hidden from view.)

6 April 2025

diffhist Per Martin-Löf 10:20 +35 Kaffet i halsen talk contribs (added Category:People from Stockholm using HotCat)

5 April 2025

diffhist m Modal logic 11:03 0 Oneequalsequalsone talk contribs (→History) Tag: Visual edit

4 April 2025

diffhist Creative Commons license 20:15 +51 GeoWriter talk contribs (→See also: added "Closed captioning – uses a similar CC logo")
diffhist Dimension 19:21 +2 MrSwedishMeatballs talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist m Proof assistant 18:58 +3 Kaffet i halsen talk contribs (University of Gothenburg + sp (via WP:JWB))
diffhist m Kan fibration 08:51 +12 TakuyaMurata talk contribs (→Mapping space)
diffhist m Kan fibration 08:49 −20 TakuyaMurata talk contribs (→See also: model category is already linked)
diffhist m Kan fibration 08:47 +7 TakuyaMurata talk contribs (→Mapping space: typo)
diffhist Kan fibration 08:47 +49 TakuyaMurata talk contribs (→Mapping space: ref)
diffhist Kan fibration 08:44 +316 TakuyaMurata talk contribs (→References: +1)
diffhist Kan fibration 08:43 +316 TakuyaMurata talk contribs (→Examples: add mapping space)
diffhist Kan fibration 08:40 +8 TakuyaMurata talk contribs (→Homotopy groups of simplicial sets: probably true but we need a ref)
diffhist Kan fibration 08:40 +13 TakuyaMurata talk contribs (not applications; also {{main|Simplicial homotopy group}})
diffhist Kan fibration 08:36 +68 TakuyaMurata talk contribs (→Kan fibrations and pull-backs: link theorem of Gabriel and Zisman)
diffhist Kan fibration 08:33 +23 TakuyaMurata talk contribs (→See also: *Minimal fibration)
diffhist m GitHub 05:08 +151 Ringo62 talk contribs (Reverted 1 edit by 103.238.108.158 (talk) to last revision by MrOllie) Tags: Twinkle Undo
diffhist GitHub 05:03 −151 103.238.108.158 talk (→Structure of the organization) Tag: Reverted

3 April 2025

diffhist Glossary of category theory 16:12 +51 TakuyaMurata talk contribs (→P)
diffhist Naive set theory 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
diffhist Foundations of mathematics 15:17 0 Remsense talk contribs (idiomatic form (By FindAndReplace))
diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
diffhist First-order logic 15:12 +10 Remsense talk contribs
diffhist m Homotopy theory 08:52 −1 TakuyaMurata talk contribs (→See also: sp)
diffhist Homotopy theory 08:51 +74 TakuyaMurata talk contribs (→See also: +2)
diffhist m Zermelo–Fraenkel set theory 03:38 +2 Remsense talk contribs (Paragraph edited #MiniEdit)
diffhist m Zermelo–Fraenkel set theory 03:38 0 Remsense talk contribs (Paragraph edited #MiniEdit)
diffhist m Zermelo–Fraenkel set theory 03:38 +2 Remsense talk contribs (Paragraph edited #MiniEdit)
diffhist Peano axioms 03:13 +578 Ost316 talk contribs (Rescuing 3 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]

2 April 2025

diffhist Peano axioms 22:00 +56 Indivicivet talk contribs (clarify misleading wording in the without-axiom-9 domino example)
diffhist Topos 16:17 −60 Hames Janson talk contribs (The second part of this sentence is not quite a true statement and is not contained in the given reference, so I have removed it.)

1 April 2025

diffhist m Set theory 20:22 −25 TLJ7863 talk contribs (Reverted edit by 2605:59C0:1016:5C10:0:0:0:352 (talk) to last version by Farkle Griffen) Tag: Rollback
diffhist Set theory 20:21 +25 2605:59c0:1016:5c10::352 talk (Happy April Fools!) Tags: Reverted Visual edit
diffhist Set (mathematics) 17:55 +914 D.Lazard talk contribs (→Cardinality of the real numbers: section rewritten)
diffhist Set (mathematics) 16:54 +383 D.Lazard talk contribs (→Internal disjoint union: completing the section)
diffhist Kan fibration 12:08 +34 TakuyaMurata talk contribs (move a link in see also up)
diffhist Lambda calculus 11:07 −1 TTWIDEE talk contribs (→Free variables: Removed erroneous space) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist Set (mathematics) 10:53 +501 D.Lazard talk contribs (→Internal disjoint union: new section, still to be completed)
diffhist Glossary of category theory 09:30 +72 TakuyaMurata talk contribs (→I)
diffhist Glossary of category theory 08:05 +100 TakuyaMurata talk contribs (→!$@)
diffhist Glossary of category theory 08:04 +178 TakuyaMurata talk contribs

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Homotopy_type_theory"