任意のアーベル圏（アーベル群の圏や与えられた体上のベクトル空間の圏など）や群の圏において以下の可換図式を考える。5項補題は次のものである。2つの列が完全で、m と p が同型射で、l がエピ射で、q がモノ射であれば、n も同型である。
ホモロジー代数学は1800年代にトポロジーの1つの分野としてその最も基本的な形が研究され始めたが、Ext関手やTor関手のような対象の研究が独立した主題になるのは1940年代になってからであった。
ホモロジー代数学（英: homological algebra）は、一般の代数的な設定のもとでホモロジーを研究する数学の分野である。それは比較的新しい分野であり、その起源は19世紀の終わりの、組み合わせ論的トポロジー（代数トポロジーの前身）と抽象代数学（加群や syzygy の理論）の、主にアンリ・ポワンカレとダフィット・ヒルベルトによる研究にまでさかのぼる。ホモロジー代数学の発展は圏論の出現と密接に結びついている。概して、ホモロジー代数はホモロジー的関手とそれから必然的に生じる複雑な代数的構造の研究である。数学においてきわめて有用で遍在する概念の1つはチェイン複体 (chain complex) の概念であり、これはそのホモロジーとコホモロジーの両方を通じて研究できる。ホモロジー代数は、これらの複体に含まれる情報を得、それを環、加群、位相空間や、他の 'tangible' な数学的対象のホモロジー的不変量の形で描写する手段を提供してくれる。これをするための強力な手法はスペクトル系列によって与えられる。まさにその起源から、ホモロジー代数学は代数トポロジーにおいて非常に多くの役割を果たしている。その影響の範囲は徐々に拡大しており現在では可換環論、代数幾何学、代数的整数論、表現論、数理物理学、作用素環論、複素解析、そして偏微分方程式論を含む。K-理論はホモロジー代数学の手法を利用する独立した分野であり、アラン・コンヌの非可換幾何もそうである。
ペットとして飼育されることもあり、日本にも輸入されている。おそらくスナボア属では最も流通している。主に亜種ケニアスナボアとされていた体色がオレンジの個体が流通するが、飼育下で作出された品種の流通も多い。都道府県によっては条例により飼育にあたっては地方自治体の許可が必要だったが動物愛護法の改正により、2007年現在本種を飼育することに対しての法規制はない。あまり飼育スペースは取らずケージの底辺のうち長辺がヘビの全長程の大きさであれば飼育できるとされている。床材には潜るための細かすぎず粗すぎない砂を敷いて飼育するのが一般的だが、給餌の際に砂を誤飲してしまいマウスロット（口内炎）の原因になることがある。そのため給餌用の砂のないケージを別に用意したり、慣れた個体には床材にバーグチップ（ある程度大きさのある木片）や新聞紙を用いることもある。
砂漠やサバンナに生息する。夜行性。地中棲で普段は眼と吻端だけを地面に出して地中に潜り、獲物を待ち伏せている。食性は動物食で、爬虫類、小型鳥類、小型哺乳類等を食べる。獲物が目の前を通りかかると素早く襲いかかり、締め殺してから丸呑みにする。繁殖形態は卵胎生で、1回に3-21頭の幼蛇を産む。
遠征軍の行動は緩慢であった。まず逆風で遠征が延期されたが、その間に船上の補給品のほとんどが消費され、病人の人数が大幅に増えた。続いてフランス艦隊とスペイン艦隊出撃の報せが届いたため遠征は再び延期され、イギリス艦隊は対応として増援を受けた。遠征軍は海軍の人員不足に悩まされ、海員を補うために2個歩兵連隊（第34と第36連隊）を徴兵するほどであった。戦艦に乗船する海兵隊を補うために、カスカート卿は政府から命じられて彼の海兵隊600人を供出した。これらの遅延により、イギリスは3か月も浪費した。一方、アメリカ植民地軍3,600人は戦艦の護衛をつけた輸送船40隻に乗ってニューヨークからジャマイカまで行き、本国の遠征軍よりもはるかに早い1740年12月3日に到着した。植民地軍の指揮官はヴァージニア総督アレクサンダー・スポッツウッドで、カスカート卿の副官も務める予定だったが、スポッツウッドは死去、代わりに副総督のウィリアム・グーチが植民地軍を率いた。しかし、植民地軍が到着するや否や、イギリス政府が植民地軍の補給について何ら準備しなかったという事実を突きつけられた。補給不足と気候の問題はすぐに植民地軍を悩ませ、一方イギリス本国からの艦隊はチフス、壊血病、赤痢などの疫病に悩まされた。1741年1月までに遠征軍のうち陸軍がカスカート卿を含む500人が病死、また1,500人が病気を患った。カスカートもスポッツウッドも死去したことで陸軍の指揮官は戦闘の経験がないトマス・ウェントワースに任せられた。ジャマイカではアフリカ人奴隷300人が遠征軍に加わった。ジャマイカでの乗船前後にさらなる延期があり、またフランス艦隊との小競り合いもあってまたしても貴重な時間が浪費された。イギリスもスペインも5月から6月にかけての雨季が始まると、5月から11月にかけての「病季」（Sickly season）も始まることを知っていた。スペイン軍は援軍を受けたが、すでに疫病に苦しんでいた。イギリス軍のように戦闘に影響するほどではなかったが、レソとエスラバの間に不和が生じた。例えば、レソはほぼ全軍でボカ・チカ海峡を守るべしと主張したが、エスラバが反対したことで前線の守備が弱体化され、イギリス軍の上陸初期をより容易なものにした。