Tag Synonyms

View all active tag synonyms. Learn more about tag synonym privileges

Synonym →	Target	Creator	Created	# of Renames	Last Renamed
complex-analysis	cv.complex-variables × 3171	Todd Trimble♦	Feb 17, 2015	67	13h ago
cyclotomic-integer	cyclotomic-fields × 94	Todd Trimble♦	Mar 3, 2015	0
algebraic-geometry	ag.algebraic-geometry × 21611	Scott Morrison	Jun 25, 2013	106	Feb 19
commutative-algebra	ac.commutative-algebra × 5337	Scott Morrison	Jun 25, 2013	31	Dec 9
rings-and-algebras	ra.rings-and-algebras × 3198	Scott Morrison	Jun 25, 2013	9	Oct 4, 2021
group-theory	gr.group-theory × 7943	Scott Morrison	Jun 25, 2013	50	Dec 20
algebraic-topology	at.algebraic-topology × 8259	Scott Morrison	Jun 25, 2013	38	Nov 24
general-topology	gn.general-topology × 4448	Scott Morrison	Jun 25, 2013	15	Jul 22
functional-analysis	fa.functional-analysis × 9354	Scott Morrison	Jun 25, 2013	65	Jan 12
operator-algebras	oa.operator-algebras × 2096	Scott Morrison	Jun 25, 2013	11	Mar 3, 2023
number-theory	nt.number-theory × 15955	Scott Morrison	Jun 25, 2013	192	Apr 8
complex-variables	cv.complex-variables × 3171	Scott Morrison	Jun 25, 2013	39	Sep 19
4-manifold	4-manifolds × 282	Scott Morrison	Jun 25, 2013	0
four-manifolds	4-manifolds × 282	Scott Morrison	Jun 28, 2013	1	Sep 8, 2013
algebras	ra.rings-and-algebras × 3198	Scott Morrison	Jun 28, 2013	12	Jul 17, 2022
nonassociative-algebra	non-associative-algebras × 54	Scott Morrison	Jun 28, 2013	0
computations	computation × 37	Scott Morrison	Jun 28, 2013	0
semigroup-theory	semigroups-and-monoids × 585	Scott Morrison	Dec 15, 2013	8	Jan 14, 2020
hodge-structures	hodge-structure × 55	S. Carnahan♦	Nov 13, 2014	0
abstract-algebra × 168	ra.rings-and-algebras × 3198	S. Carnahan♦	May 3, 2020	285	Apr 14
discrete-mathematics × 131	co.combinatorics × 10435	S. Carnahan♦	May 3, 2020	275	1d ago
geometry × 323	mg.metric-geometry × 3941	S. Carnahan♦	May 3, 2020	300	Apr 14
peano-arithmetic × 195	theories-of-arithmetic × 119	S. Carnahan♦	Oct 20, 2020	63	52m ago
metric-geometry	mg.metric-geometry × 3941	Ricardo Andrade	Feb 22, 2014	6	May 2, 2022
differential-geometry	dg.differential-geometry × 8679	Ricardo Andrade	Feb 22, 2014	61	Feb 9
geometric-topology	gt.geometric-topology × 4156	Ricardo Andrade	Feb 22, 2014	12	Apr 4
constructive	constructive-mathematics × 281	Paul Taylor	Oct 27, 2014	0
presentable-categories × 10	locally-presentable-categories × 75	Mike Shulman	Mar 1, 2019	3	Mar 17, 2021
positive-characteristic × 106	characteristic-p × 279	LSpice	Aug 11, 2020	10	Feb 23
slick-proof	alternative-proof × 101	François G. Dorais	Mar 27, 2021	1	Jan 10, 2022
integral	integration × 1445	François G. Dorais	Apr 23, 2019	56	Mar 31
linear-optimization	linear-programming × 483	François G. Dorais	Oct 9, 2014	1	Dec 30, 2016
complexity-theory	computational-complexity × 1300	François G. Dorais	Jan 26, 2014	2	Feb 27, 2016
combinatorial-set-theory	infinite-combinatorics × 479	François G. Dorais	Jan 26, 2014	0
associative-algebra	associative-algebras × 85	François G. Dorais	Jan 29, 2014	1	Dec 27, 2020
coalgebra	coalgebras × 122	François G. Dorais	Jan 29, 2014	1	Mar 29
trace	traces × 133	François G. Dorais	Jan 29, 2014	13	May 18, 2023
variational-calculus	calculus-of-variations × 555	François G. Dorais	Jan 29, 2014	1	May 7, 2015
combinatorial-geometry × 160	discrete-geometry × 1666	François G. Dorais	Dec 15, 2014	174	Mar 9
nonlinear-programming	nonlinear-optimization × 617	François G. Dorais	Dec 15, 2014	37	May 18, 2020
stochastic-diff-equations	stochastic-differential-equations × 560	François G. Dorais	Oct 25, 2018	0
semigroups	semigroups-and-monoids × 585	François G. Dorais	Jan 19, 2019	3	Dec 20, 2019
monoids	semigroups-and-monoids × 585	François G. Dorais	Jan 19, 2019	2	Mar 24, 2023
ca.classical-analysis	ca.classical-analysis-and-odes × 3456	François G. Dorais	Feb 10, 2019	2	Oct 12, 2022
kt.k-theory-homology	kt.k-theory-and-homology × 928	François G. Dorais	Feb 10, 2019	0
oc.optimization-control	oc.optimization-and-control × 1148	François G. Dorais	Feb 10, 2019	0
dg-algebras	differential-graded-algebras × 217	François G. Dorais	Feb 10, 2019	0
proof-assistant	proof-assistants × 65	François G. Dorais	Oct 10, 2015	0
formalisation	formalization × 18	François G. Dorais	Oct 10, 2015	0
cyclotomic-integers	cyclotomic-fields × 94	François G. Dorais	Oct 21, 2015	1	Mar 23, 2018
algorithmic-topology	computational-topology × 63	François G. Dorais	Feb 6, 2016	1	Sep 23, 2019
hamiltonian-graph	hamiltonian-graphs × 107	François G. Dorais	Feb 7, 2016	0
hamiltonian-cycles	hamiltonian-graphs × 107	François G. Dorais	Feb 7, 2016	0
colimits	limits-and-colimits × 333	François G. Dorais	Feb 7, 2016	3	Jul 25, 2018
convergence	limits-and-convergence × 787	François G. Dorais	Feb 7, 2016	21	Sep 13
limits	limits-and-convergence × 787	François G. Dorais	Feb 7, 2016	57	Nov 10
sheaves	sheaf-theory × 935	François G. Dorais	Jun 16, 2017	4	Nov 22
history	ho.history-overview × 1411	François G. Dorais	Jul 23, 2017	11	Dec 20
derived-category	derived-categories × 776	François G. Dorais	Aug 9, 2017	0
symmetric-group	symmetric-groups × 439	François G. Dorais	Aug 9, 2017	2	Sep 27, 2019
stone-cech	stone-cech-compactification × 80	François G. Dorais	Aug 9, 2017	0
estimate	estimation-theory × 105	François G. Dorais	Aug 9, 2017	3	Apr 6, 2023
random-walk	random-walks × 509	François G. Dorais	Aug 9, 2017	3	Nov 26, 2020
directed-graph	directed-graphs × 111	François G. Dorais	Aug 9, 2017	0
digraphs	directed-graphs × 111	François G. Dorais	Aug 9, 2017	0
recursion-theory	computability-theory × 982	François G. Dorais	Aug 9, 2017	3	Mar 11, 2023
topology	gn.general-topology × 4448	François G. Dorais	Aug 23, 2017	87	Apr 13
ufds	unique-factorization-domains × 22	François G. Dorais	Sep 12, 2017	2	Mar 2, 2020
tqft	topological-quantum-field-theory × 255	François G. Dorais	Sep 12, 2017	0
education	mathematics-education × 277	François G. Dorais	Sep 22, 2017	18	2d ago
math-philosophy	mathematical-philosophy × 350	François G. Dorais	Oct 14, 2017	2	Feb 21, 2020
robinson-schensted	robinson-schensted-knuth × 23	François G. Dorais	Jan 7, 2018	0
projective-module	projective-modules × 148	François G. Dorais	Jan 10, 2018	1	Sep 11, 2018
distributor	profunctors × 26	François G. Dorais	Apr 21, 2014	0
simplicial-sheaves	simplicial-presheaves × 40	François G. Dorais	Apr 21, 2014	0
configuration-space	configuration-spaces × 103	François G. Dorais	Apr 21, 2014	0
contact-manifolds	contact-geometry × 174	François G. Dorais	Apr 21, 2014	1	Oct 12, 2015
analysis	ca.classical-analysis-and-odes × 3456	François G. Dorais	Jun 1, 2014	208	Feb 9
spectral-theory	sp.spectral-theory × 990	François G. Dorais	Jul 28, 2014	3	Feb 29
isoperimetry	isoperimetric-problems × 95	François G. Dorais	Aug 23, 2014	27	Mar 15, 2022
design-theory	combinatorial-designs × 120	François G. Dorais	Aug 23, 2014	17	May 1, 2019
eigenvalue	eigenvalues × 819	François G. Dorais	Sep 4, 2014	21	Oct 28, 2022
pedagogy	teaching × 255	François G. Dorais	Dec 22, 2013	1	Nov 10, 2016
logic	lo.logic × 5156	François G. Dorais	Dec 23, 2013	212	Mar 13
writing	mathematical-writing × 176	François G. Dorais	Jan 15, 2014	7	Aug 4, 2021
adjacency-matrix	adjacency-matrices × 27	François G. Dorais	Jan 16, 2014	0
orthogonal-matrix	orthogonal-matrices × 105	François G. Dorais	Jan 16, 2014	1	Mar 22, 2014
circulant-matrix	circulant-matrices × 28	François G. Dorais	Jan 16, 2014	1	Jul 5, 2014
matrix	matrices × 3119	François G. Dorais	Jan 17, 2014	180	Mar 28
classical-analysis	ca.classical-analysis-and-odes × 3456	François G. Dorais	Jun 30, 2013	3	Oct 28, 2021
inequality	inequalities × 1663	François G. Dorais	Jul 22, 2013	56	Mar 21
representation-theory	rt.representation-theory × 6823	François G. Dorais	Aug 20, 2013	21	Apr 14, 2023
probability	pr.probability × 8667	François G. Dorais	Oct 26, 2013	607	Apr 14
smooth-manifold	smooth-manifolds × 1236	François G. Dorais	Oct 26, 2013	1	Sep 3, 2018
combinatorics	co.combinatorics × 10435	François G. Dorais	Oct 26, 2013	282	Mar 13
names	terminology × 909	Eric Wofsey	Sep 8, 2014	1	Oct 14, 2017
point-set-topology	gn.general-topology × 4448	Eric Wofsey	Dec 4, 2014	90	Jun 20, 2021
commutative-rings	ac.commutative-algebra × 5337	Eric Wofsey	Sep 2, 2015	1	Apr 12, 2022
etcs	elementary-theory-category-of-sets × 8	David Roberts♦	Nov 15, 2022	0
f-1	field-with-one-element × 72	David Roberts♦	Mar 17, 2023	0

2 Next