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 × 73	David Roberts♦	Mar 17, 2023	0
etcs	elementary-theory-category-of-sets × 8	David Roberts♦	Nov 15, 2022	0
slick-proof	alternative-proof × 106	François G. Dorais	Mar 27, 2021	1	Jan 10, 2022
peano-arithmetic × 193	theories-of-arithmetic × 140	S. Carnahan♦	Oct 20, 2020	77	Nov 29
positive-characteristic × 106	characteristic-p × 285	LSpice	Aug 11, 2020	14	Nov 13
geometry × 318	mg.metric-geometry × 4088	S. Carnahan♦	May 3, 2020	319	11h ago
discrete-mathematics × 129	co.combinatorics × 10895	S. Carnahan♦	May 3, 2020	315	Dec 7
abstract-algebra × 167	ra.rings-and-algebras × 3337	S. Carnahan♦	May 3, 2020	322	Dec 11
integral	integration × 1506	François G. Dorais	Apr 23, 2019	60	Sep 29
presentable-categories × 10	locally-presentable-categories × 75	Mike Shulman	Mar 1, 2019	3	Mar 17, 2021
dg-algebras	differential-graded-algebras × 223	François G. Dorais	Feb 10, 2019	0
oc.optimization-control	oc.optimization-and-control × 1192	François G. Dorais	Feb 10, 2019	0
kt.k-theory-homology	kt.k-theory-and-homology × 960	François G. Dorais	Feb 10, 2019	0
ca.classical-analysis	ca.classical-analysis-and-odes × 3575	François G. Dorais	Feb 10, 2019	2	Oct 12, 2022
monoids	semigroups-and-monoids × 606	François G. Dorais	Jan 19, 2019	2	Mar 24, 2023
semigroups	semigroups-and-monoids × 606	François G. Dorais	Jan 19, 2019	3	Dec 20, 2019
stochastic-diff-equations	stochastic-differential-equations × 605	François G. Dorais	Oct 25, 2018	0
qft	quantum-field-theory × 394	Arun Debray	Oct 16, 2018	1	Oct 12, 2019
projective-module	projective-modules × 155	François G. Dorais	Jan 10, 2018	1	Sep 11, 2018
robinson-schensted	robinson-schensted-knuth × 24	François G. Dorais	Jan 7, 2018	0
math-philosophy	mathematical-philosophy × 358	François G. Dorais	Oct 14, 2017	2	Feb 21, 2020
education	mathematics-education × 273	François G. Dorais	Sep 22, 2017	21	Nov 30
tqft	topological-quantum-field-theory × 264	François G. Dorais	Sep 12, 2017	0
ufds	unique-factorization-domains × 22	François G. Dorais	Sep 12, 2017	2	Mar 2, 2020
topology	gn.general-topology × 4602	François G. Dorais	Aug 23, 2017	92	Nov 20
recursion-theory	computability-theory × 1036	François G. Dorais	Aug 9, 2017	3	Mar 11, 2023
digraphs	directed-graphs × 116	François G. Dorais	Aug 9, 2017	0
directed-graph	directed-graphs × 116	François G. Dorais	Aug 9, 2017	0
random-walk	random-walks × 529	François G. Dorais	Aug 9, 2017	3	Nov 26, 2020
estimate	estimation-theory × 111	François G. Dorais	Aug 9, 2017	5	Sep 10
stone-cech	stone-cech-compactification × 86	François G. Dorais	Aug 9, 2017	0
symmetric-group	symmetric-groups × 462	François G. Dorais	Aug 9, 2017	2	Sep 27, 2019
derived-category	derived-categories × 817	François G. Dorais	Aug 9, 2017	0
history	ho.history-overview × 1456	François G. Dorais	Jul 23, 2017	12	Jul 24
sheaves	sheaf-theory × 979	François G. Dorais	Jun 16, 2017	5	Oct 4
limits	limits-and-convergence × 831	François G. Dorais	Feb 7, 2016	58	Nov 5
convergence	limits-and-convergence × 831	François G. Dorais	Feb 7, 2016	23	Aug 24
colimits	limits-and-colimits × 348	François G. Dorais	Feb 7, 2016	3	Jul 25, 2018
hamiltonian-cycles	hamiltonian-graphs × 115	François G. Dorais	Feb 7, 2016	0
hamiltonian-graph	hamiltonian-graphs × 115	François G. Dorais	Feb 7, 2016	0
algorithmic-topology	computational-topology × 62	François G. Dorais	Feb 6, 2016	1	Sep 23, 2019
cyclotomic-integers	cyclotomic-fields × 98	François G. Dorais	Oct 21, 2015	1	Mar 23, 2018
formalisation	formalization × 19	François G. Dorais	Oct 10, 2015	0
proof-assistant	proof-assistants × 66	François G. Dorais	Oct 10, 2015	0
commutative-rings	ac.commutative-algebra × 5495	Eric Wofsey	Sep 2, 2015	1	Apr 12, 2022
publishing	journals × 313	Bjørn Kjos-Hanssen	Apr 22, 2015	19	Sep 14, 2023
cyclotomic-integer	cyclotomic-fields × 98	Todd Trimble	Mar 3, 2015	0
complex-analysis	cv.complex-variables × 3302	Todd Trimble	Feb 17, 2015	73	Nov 23
nonlinear-programming	nonlinear-optimization × 639	François G. Dorais	Dec 15, 2014	37	May 18, 2020
combinatorial-geometry × 160	discrete-geometry × 1752	François G. Dorais	Dec 15, 2014	180	Nov 14
point-set-topology	gn.general-topology × 4602	Eric Wofsey	Dec 4, 2014	90	Jun 20, 2021
hodge-structures	hodge-structure × 59	S. Carnahan♦	Nov 13, 2014	0
constructive	constructive-mathematics × 301	Paul Taylor	Oct 27, 2014	0
linear-optimization	linear-programming × 493	François G. Dorais	Oct 9, 2014	1	Dec 30, 2016
names	terminology × 941	Eric Wofsey	Sep 8, 2014	1	Oct 14, 2017
eigenvalue	eigenvalues × 857	François G. Dorais	Sep 4, 2014	22	Oct 30
design-theory	combinatorial-designs × 125	François G. Dorais	Aug 23, 2014	17	May 1, 2019
isoperimetry	isoperimetric-problems × 102	François G. Dorais	Aug 23, 2014	28	May 16
spectral-theory	sp.spectral-theory × 1026	François G. Dorais	Jul 28, 2014	3	Feb 29
analysis	ca.classical-analysis-and-odes × 3575	François G. Dorais	Jun 1, 2014	218	Nov 20
contact-manifolds	contact-geometry × 181	François G. Dorais	Apr 21, 2014	1	Oct 12, 2015
configuration-space	configuration-spaces × 106	François G. Dorais	Apr 21, 2014	0
simplicial-sheaves	simplicial-presheaves × 43	François G. Dorais	Apr 21, 2014	0
distributor	profunctors × 28	François G. Dorais	Apr 21, 2014	0
geometric-topology	gt.geometric-topology × 4259	Ricardo Andrade	Feb 22, 2014	12	Apr 4
differential-geometry	dg.differential-geometry × 8911	Ricardo Andrade	Feb 22, 2014	65	2d ago
metric-geometry	mg.metric-geometry × 4088	Ricardo Andrade	Feb 22, 2014	6	May 2, 2022
variational-calculus	calculus-of-variations × 573	François G. Dorais	Jan 29, 2014	1	May 7, 2015
trace	traces × 139	François G. Dorais	Jan 29, 2014	14	Jun 23
coalgebra	coalgebras × 124	François G. Dorais	Jan 29, 2014	2	Apr 23
associative-algebra	associative-algebras × 88	François G. Dorais	Jan 29, 2014	1	Dec 27, 2020
combinatorial-set-theory	infinite-combinatorics × 530	François G. Dorais	Jan 26, 2014	0
complexity-theory	computational-complexity × 1336	François G. Dorais	Jan 26, 2014	3	Oct 16
syntax	notation × 285	anon	Jan 19, 2014	4	May 4, 2020
matrix	matrices × 3206	François G. Dorais	Jan 17, 2014	184	Oct 30
circulant-matrix	circulant-matrices × 28	François G. Dorais	Jan 16, 2014	1	Jul 5, 2014
orthogonal-matrix	orthogonal-matrices × 115	François G. Dorais	Jan 16, 2014	1	Mar 22, 2014
adjacency-matrix	adjacency-matrices × 28	François G. Dorais	Jan 16, 2014	0
writing	mathematical-writing × 181	François G. Dorais	Jan 15, 2014	7	Aug 4, 2021
logic	lo.logic × 5431	François G. Dorais	Dec 23, 2013	219	Nov 4
pedagogy	teaching × 262	François G. Dorais	Dec 22, 2013	1	Nov 10, 2016
semigroup-theory	semigroups-and-monoids × 606	Kim Morrison	Dec 15, 2013	8	Jan 14, 2020
combinatorics	co.combinatorics × 10895	François G. Dorais	Oct 26, 2013	297	Nov 10
smooth-manifold	smooth-manifolds × 1279	François G. Dorais	Oct 26, 2013	1	Sep 3, 2018
probability	pr.probability × 9022	François G. Dorais	Oct 26, 2013	627	Dec 11
representation-theory	rt.representation-theory × 7076	François G. Dorais	Aug 20, 2013	25	Nov 27
inequality	inequalities × 1772	François G. Dorais	Jul 22, 2013	61	Dec 6
classical-analysis	ca.classical-analysis-and-odes × 3575	François G. Dorais	Jun 30, 2013	3	Oct 28, 2021
computations	computation × 42	Kim Morrison	Jun 28, 2013	0
nonassociative-algebra	non-associative-algebras × 59	Kim Morrison	Jun 28, 2013	0
algebras	ra.rings-and-algebras × 3337	Kim Morrison	Jun 28, 2013	13	Oct 24
four-manifolds	4-manifolds × 297	Kim Morrison	Jun 28, 2013	1	Sep 8, 2013
4-manifold	4-manifolds × 297	Kim Morrison	Jun 25, 2013	0
complex-variables	cv.complex-variables × 3302	Kim Morrison	Jun 25, 2013	39	Sep 19, 2023
number-theory	nt.number-theory × 16616	Kim Morrison	Jun 25, 2013	205	Nov 23
operator-algebras	oa.operator-algebras × 2155	Kim Morrison	Jun 25, 2013	12	Nov 27
functional-analysis	fa.functional-analysis × 9773	Kim Morrison	Jun 25, 2013	70	Dec 6
general-topology	gn.general-topology × 4602	Kim Morrison	Jun 25, 2013	16	Oct 21
algebraic-topology	at.algebraic-topology × 8470	Kim Morrison	Jun 25, 2013	41	Nov 27
group-theory	gr.group-theory × 8182	Kim Morrison	Jun 25, 2013	55	Nov 27

2 Next