equality (definitional, propositional, computational, judgemental, extensional, intensional, decidable)
identity type, equivalence of types, definitional isomorphism
isomorphism, weak equivalence, homotopy equivalence, weak homotopy equivalence, equivalence in an (∞,1)-category
Examples.
exceptional structures, exceptional isomorphisms
exceptional finite rotation groups:
and Kac-Moody groups:
exceptional Jordan superalgebra,
Given a sequence of structures following some pattern, one loosely calls isomorphisms that pertain to some special elements in the sequence, without themselves following that pattern, exceptional or sporadic.
The archetypical example is isomorphisms of spin groups. These appear in the infinite sequence , and for low values of , but not generally, there are isomorphisms to other classical Lie groups.
See at spin group – Exceptional isomorphisms.
There is an exceptional isomorphisms
between the projective special linear group over the prime field with the icosahedral group.
See at Icosahedral group – Exceptional isomorphism to PSL(F5).
Last revised on October 17, 2023 at 12:40:23. See the history of this page for a list of all contributions to it.