Tag Synonyms

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

Synonym →	Target	Creator	Created	# of Renames	Last Renamed
f-1	field-with-one-element × 69	David Roberts♦	Mar 17	0
etcs	elementary-theory-category-of-sets × 8	David Roberts♦	Nov 15	0
slick-proof	alternative-proof × 94	François G. Dorais	Mar 27, 2021	1	Jan 10, 2022
peano-arithmetic × 198	theories-of-arithmetic × 77	S. Carnahan♦	Oct 20, 2020	38	1d ago
positive-characteristic × 107	characteristic-p × 265	LSpice	Aug 11, 2020	3	May 2
geometry × 327	mg.metric-geometry × 3745	S. Carnahan♦	May 3, 2020	247	May 22
discrete-mathematics × 132	co.combinatorics × 9776	S. Carnahan♦	May 3, 2020	233	May 20
abstract-algebra × 168	ra.rings-and-algebras × 3003	S. Carnahan♦	May 3, 2020	231	May 28
integral	integration × 1337	François G. Dorais	Apr 23, 2019	46	Apr 22
presentable-categories × 10	locally-presentable-categories × 66	Mike Shulman	Mar 1, 2019	3	Mar 17, 2021
dg-algebras	differential-graded-algebras × 202	François G. Dorais	Feb 10, 2019	0
oc.optimization-control	oc.optimization-and-control × 1084	François G. Dorais	Feb 10, 2019	0
kt.k-theory-homology	kt.k-theory-and-homology × 894	François G. Dorais	Feb 10, 2019	0
ca.classical-analysis	ca.classical-analysis-and-odes × 3263	François G. Dorais	Feb 10, 2019	2	Oct 12
monoids	semigroups-and-monoids × 555	François G. Dorais	Jan 19, 2019	2	Mar 24
semigroups	semigroups-and-monoids × 555	François G. Dorais	Jan 19, 2019	3	Dec 20, 2019
stochastic-diff-equations	stochastic-differential-equations × 514	François G. Dorais	Oct 25, 2018	0
qft	quantum-field-theory × 346	Arun Debray	Oct 16, 2018	1	Oct 12, 2019
projective-module	projective-modules × 141	François G. Dorais	Jan 10, 2018	1	Sep 11, 2018
robinson-schensted	robinson-schensted-knuth × 23	François G. Dorais	Jan 7, 2018	0
math-philosophy	mathematical-philosophy × 344	François G. Dorais	Oct 14, 2017	2	Feb 21, 2020
education	mathematics-education × 273	François G. Dorais	Sep 22, 2017	16	Apr 3
tqft	topological-quantum-field-theory × 238	François G. Dorais	Sep 12, 2017	0
ufds	unique-factorization-domains × 20	François G. Dorais	Sep 12, 2017	2	Mar 2, 2020
topology	gn.general-topology × 4230	François G. Dorais	Aug 23, 2017	73	Apr 24
recursion-theory	computability-theory × 910	François G. Dorais	Aug 9, 2017	3	Mar 11
digraphs	directed-graphs × 102	François G. Dorais	Aug 9, 2017	0
directed-graph	directed-graphs × 102	François G. Dorais	Aug 9, 2017	0
random-walk	random-walks × 484	François G. Dorais	Aug 9, 2017	3	Nov 26, 2020
estimate	estimation-theory × 100	François G. Dorais	Aug 9, 2017	3	Apr 6
stone-cech	stone-cech-compactification × 73	François G. Dorais	Aug 9, 2017	0
symmetric-group	symmetric-groups × 406	François G. Dorais	Aug 9, 2017	2	Sep 27, 2019
derived-category	derived-categories × 718	François G. Dorais	Aug 9, 2017	0
history	ho.history-overview × 1359	François G. Dorais	Jul 23, 2017	8	Jun 2, 2022
sheaves	sheaf-theory × 894	François G. Dorais	Jun 16, 2017	3	Jan 6
limits	limits-and-convergence × 712	François G. Dorais	Feb 7, 2016	51	Apr 23
convergence	limits-and-convergence × 712	François G. Dorais	Feb 7, 2016	19	Jan 29
colimits	limits-and-colimits × 306	François G. Dorais	Feb 7, 2016	3	Jul 25, 2018
hamiltonian-cycles	hamiltonian-graphs × 94	François G. Dorais	Feb 7, 2016	0
hamiltonian-graph	hamiltonian-graphs × 94	François G. Dorais	Feb 7, 2016	0
algorithmic-topology	computational-topology × 54	François G. Dorais	Feb 6, 2016	1	Sep 23, 2019
cyclotomic-integers	cyclotomic-fields × 85	François G. Dorais	Oct 21, 2015	1	Mar 23, 2018
formalisation	formalization × 17	François G. Dorais	Oct 10, 2015	0
proof-assistant	proof-assistants × 62	François G. Dorais	Oct 10, 2015	0
commutative-rings	ac.commutative-algebra × 5083	Eric Wofsey	Sep 2, 2015	1	Apr 12, 2022
publishing	journals × 293	Bjørn Kjos-Hanssen	Apr 22, 2015	18	Apr 28
cyclotomic-integer	cyclotomic-fields × 85	Todd Trimble♦	Mar 3, 2015	0
complex-analysis	cv.complex-variables × 2974	Todd Trimble♦	Feb 17, 2015	58	Mar 18
nonlinear-programming	nonlinear-optimization × 574	François G. Dorais	Dec 15, 2014	37	May 18, 2020
combinatorial-geometry × 161	discrete-geometry × 1526	François G. Dorais	Dec 15, 2014	163	May 20
point-set-topology	gn.general-topology × 4230	Eric Wofsey	Dec 4, 2014	90	Jun 20, 2021
hodge-structures	hodge-structure × 52	S. Carnahan♦	Nov 13, 2014	0
constructive	constructive-mathematics × 245	Paul Taylor	Oct 27, 2014	0
linear-optimization	linear-programming × 472	François G. Dorais	Oct 9, 2014	1	Dec 30, 2016
names	terminology × 861	Eric Wofsey	Sep 8, 2014	1	Oct 14, 2017
eigenvalue	eigenvalues × 777	François G. Dorais	Sep 4, 2014	21	Oct 28
design-theory	combinatorial-designs × 110	François G. Dorais	Aug 23, 2014	17	May 1, 2019
isoperimetry	isoperimetric-problems × 93	François G. Dorais	Aug 23, 2014	27	Mar 15, 2022
spectral-theory	sp.spectral-theory × 940	François G. Dorais	Jul 28, 2014	2	Jun 4, 2015
analysis	ca.classical-analysis-and-odes × 3263	François G. Dorais	Jun 1, 2014	198	May 5
contact-manifolds	contact-geometry × 172	François G. Dorais	Apr 21, 2014	1	Oct 12, 2015
configuration-space	configuration-spaces × 96	François G. Dorais	Apr 21, 2014	0
simplicial-sheaves	simplicial-presheaves × 39	François G. Dorais	Apr 21, 2014	0
distributor	profunctors × 24	François G. Dorais	Apr 21, 2014	0
geometric-topology	gt.geometric-topology × 3962	Ricardo Andrade	Feb 22, 2014	10	Apr 15, 2020
differential-geometry	dg.differential-geometry × 8318	Ricardo Andrade	Feb 22, 2014	60	Apr 22
metric-geometry	mg.metric-geometry × 3745	Ricardo Andrade	Feb 22, 2014	6	May 2, 2022
variational-calculus	calculus-of-variations × 515	François G. Dorais	Jan 29, 2014	1	May 7, 2015
trace	traces × 126	François G. Dorais	Jan 29, 2014	13	May 18
coalgebra	coalgebras × 113	François G. Dorais	Jan 29, 2014	0
associative-algebra	associative-algebras × 79	François G. Dorais	Jan 29, 2014	1	Dec 27, 2020
combinatorial-set-theory	infinite-combinatorics × 437	François G. Dorais	Jan 26, 2014	0
complexity-theory	computational-complexity × 1246	François G. Dorais	Jan 26, 2014	2	Feb 27, 2016
syntax	notation × 272	anon	Jan 19, 2014	4	May 4, 2020
matrix	matrices × 3003	François G. Dorais	Jan 17, 2014	171	May 26
circulant-matrix	circulant-matrices × 24	François G. Dorais	Jan 16, 2014	1	Jul 5, 2014
orthogonal-matrix	orthogonal-matrices × 98	François G. Dorais	Jan 16, 2014	1	Mar 22, 2014
adjacency-matrix	adjacency-matrices × 27	François G. Dorais	Jan 16, 2014	0
writing	mathematical-writing × 165	François G. Dorais	Jan 15, 2014	7	Aug 4, 2021
logic	lo.logic × 4786	François G. Dorais	Dec 23, 2013	194	May 15
pedagogy	teaching × 250	François G. Dorais	Dec 22, 2013	1	Nov 10, 2016
semigroup-theory	semigroups-and-monoids × 555	Scott Morrison	Dec 15, 2013	8	Jan 14, 2020
combinatorics	co.combinatorics × 9776	François G. Dorais	Oct 26, 2013	272	May 27
smooth-manifold	smooth-manifolds × 1180	François G. Dorais	Oct 26, 2013	1	Sep 3, 2018
probability	pr.probability × 8188	François G. Dorais	Oct 26, 2013	576	May 23
representation-theory	rt.representation-theory × 6476	François G. Dorais	Aug 20, 2013	21	Apr 14
inequality	inequalities × 1517	François G. Dorais	Jul 22, 2013	50	May 20
classical-analysis	ca.classical-analysis-and-odes × 3263	François G. Dorais	Jun 30, 2013	3	Oct 28, 2021
computations	computation × 34	Scott Morrison	Jun 28, 2013	0
nonassociative-algebra	non-associative-algebras × 46	Scott Morrison	Jun 28, 2013	0
algebras	ra.rings-and-algebras × 3003	Scott Morrison	Jun 28, 2013	12	Jul 17
four-manifolds	4-manifolds × 266	Scott Morrison	Jun 28, 2013	1	Sep 8, 2013
4-manifold	4-manifolds × 266	Scott Morrison	Jun 25, 2013	0
complex-variables	cv.complex-variables × 2974	Scott Morrison	Jun 25, 2013	38	Jul 6
number-theory	nt.number-theory × 15051	Scott Morrison	Jun 25, 2013	183	Apr 14
operator-algebras	oa.operator-algebras × 2001	Scott Morrison	Jun 25, 2013	11	Mar 3
functional-analysis	fa.functional-analysis × 8767	Scott Morrison	Jun 25, 2013	62	Feb 8
general-topology	gn.general-topology × 4230	Scott Morrison	Jun 25, 2013	14	Jul 28
algebraic-topology	at.algebraic-topology × 7877	Scott Morrison	Jun 25, 2013	37	Apr 7
group-theory	gr.group-theory × 7520	Scott Morrison	Jun 25, 2013	48	Nov 21

2 Next