Nerve agentNerve agents, sometimes also called nerve gases, are a class of organic chemicals that disrupt the mechanisms by which nerves transfer messages to organs. The disruption is caused by the blocking of acetylcholinesterase (AChE), an enzyme that catalyzes the breakdown of acetylcholine, a neurotransmitter. Nerve agents are irreversible acetylcholinesterase inhibitors used as poison. Poisoning by a nerve agent leads to constriction of pupils, profuse salivation, convulsions, and involuntary urination and defecation, with the first symptoms appearing in seconds after exposure.
Weak equivalence (homotopy theory)In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.
Grothendieck categoryIn mathematics, a Grothendieck category is a certain kind of , introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962. To every algebraic variety one can associate a Grothendieck category , consisting of the quasi-coherent sheaves on .
Tabun (nerve agent)Tabun or GA is an extremely toxic synthetic organophosphorus compound. It is a clear, colorless, and tasteless liquid with a faint fruity odor. It is classified as a nerve agent because it fatally interferes with normal functioning of the mammalian nervous system. Its production is strictly controlled and stockpiling outlawed by the Chemical Weapons Convention of 1993. Tabun is the first of the G-series nerve agents along with GB (sarin), GD (soman) and GF (cyclosarin). Although pure tabun is clear, less-pure tabun may be brown.
SarinSarin (NATO designation GB [short for G-series, "B"]) is an extremely toxic synthetic organophosphorus compound. A colourless, odourless liquid, it is used as a chemical weapon due to its extreme potency as a nerve agent. Exposure is lethal even at very low concentrations, where death can occur within one to ten minutes after direct inhalation of a lethal dose, due to suffocation from respiratory paralysis, unless antidotes are quickly administered.
Inaccessible cardinalIn set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ is strongly inaccessible if it is uncountable, it is not a sum of fewer than κ cardinals smaller than κ, and implies . The term "inaccessible cardinal" is ambiguous. Until about 1950, it meant "weakly inaccessible cardinal", but since then it usually means "strongly inaccessible cardinal".