Typology in Christian theology and Biblical exegesis is a doctrine or theory concerning the predictive relationship of the Old Testament to the New Testament. Events, persons or statements in the Old Testament are seen as types pre-figuring or superseded by antitypes, events or aspects of Christ or his revelation described in the New Testament. For example Jonah may be seen as the type of Christ in that he appeared to have emerged from the whale's belly and from death. In the fullest version of the theory of typology, the whole purpose of the Old Testament is viewed as merely the provision of types for Christ, the antitype, or fulfillment. The theory began in the Early Church, was at its most influential in the High Middle Ages, and continued to be popular, especially in Calvinism, after the Protestant Reformation, but in subsequent periods has been given less emphasis. One exception to this is the Christian Brethren of the 19th and 20th centuries, where typology was much favoured and the subject of numerous books. Notably, in the Eastern Orthodox Church typology is still a common and frequent exegetical tool, mainly due to that church's great emphasis on continuity in doctrinal presentation through all historical periods. Typology was frequently used in early Christian art, where type and antitype would be depicted in contrasting positions. The usage of the terminology has expanded into the secular sphere, as in for example "Geoffrey de Montbray (d.1093), Bishop of Coutances, a right-hand man of William the Conqueror, was a type of the great feudal prelate, warrior and administrator". 
The term derives from the Greek noun τύπος (typos), "a blow, hitting, stamp", and thus the figure or impression made on a coin etc. by such action, that is an image, figure or statue of a man; also an original pattern, model or mould. To this is prefixed the Greek preposition ἀντί anti meaning opposite, corresponding.
Origin of the theory
Christian typology begins in the New Testament itself, with Paul in Romans 5.14 calling Adam "a type [τύπος] of the one who was to come", i.e. a type of Christ. He contrasts Adam and Christ both in Romans 5 and in 1 Corinthians 15.
The early Christians, in considering the Old Testament, needed to decide what its role and purpose was for them, given that Christian revelation and the New Covenant might be considered to have superseded it, and many specific Old Testament rules and requirements in books such as Leviticus dealing with Expounding of the Law were no longer being followed.  One purpose of the Old Testament for Christians was to demonstrate that the Ministry of Jesus and Christ's first coming had been prophesied and foreseen, and the Gospels indeed were seen to contain many quotations from the Old Testament which explicitly and implicitly link Jesus to Old Testament prophecies. Typology greatly extended the number of these links by adding to Old Testament prophecies fulfilled by Christ others based on the mere similarity of Old Testament actions or situations to an aspect of Christ.
Typology is also a theory of history, seeing the whole story of the Jewish and Christian peoples as shaped by God, with events within the story acting as symbols for later events - in this role God is often compared to a writer, using actual events instead of fiction to shape his narrative.
Development of typology
The system of Medieval allegory began in the Early Church as a method for synthesizing the seeming discontinuities between the Hebrew Bible (Old Testament) and the New Testament. While the Church studied both testaments and saw each as equally inspired by God, the Old Testament contained discontinuities for Christians, for example, the Jewish kosher laws and the requirement for male circumcision. This therefore encouraged seeing at least parts of the Old Testament not as a literal account, but as an allegory, or foreshadowing, of the events of the New Testament, and in particular examining how the events of the Old Testament related to the events of Christ's life. Most theorists believed in the literal truth of the Old Testament accounts, but regarded the events described as shaped by God to provide types foreshadowing Christ. Others regarded some parts of the Bible as essentially allegorical; however the typological relationships remain the same whichever view is taken. Paul states the doctrine in Colossians 2:16-17 - "Therefore do not let anyone judge you by what you eat or drink, or with regard to a religious festival, a New Moon celebration or a sabbath day. These are a shadow of the things that were to come; the reality, however, is found in Christ." The idea also finds expression in the Letter to the Hebrews.
The development of this systematic view of the Hebrew Bible was influenced by the thought of the Hellenistic Jewish world centered in Alexandria, where the Jewish philosopher Philo (c. 20 BCE – c. 50 CE) and others viewed Scripture in philosophical terms (contemporary Greek literary theory highlighted foreshadowing as a literary device), as essentially an allegory - using Hellenistic Platonic concepts. Origen (184/185 – 253/254) Christianised the system, and figures including Hilary of Poitiers (c. 300 – c. 368) and Ambrose (c. 340 – 397) spread it. Saint Augustine (345-530) recalled often hearing Ambrose say that "the letter kills but the spirit gives life", and Augustine in turn became a hugely influential proponent of the system, though also insisting on the literal historical truth of the Bible. Isidore of Seville (ca. 560-636) and Rabanus Maurus (ca. 780-856) became influential as summarizers and compilers of works setting out standardized interpretations of correspondences and their meanings.
Typology frequently emerged in art; many typological pairings appear in sculpture on cathedrals and churches, and in other media. Popular illustrated works expounding typological couplings were among the commonest books of the late Middle Ages, as illuminated manuscripts, blockbooks, and incunabula (early printed books). The Speculum Humanae Salvationis and the Biblia pauperum became the two most successful compilations.
Example of Jonah
The story of Jonah and the fish in the Old Testament offers an example of typology. In the Old Testament Book of Jonah, Jonah told his shipmates to sacrifice him by throwing him overboard. Jonah explained that due to his own death, God's wrath would pass and that the sea would become calm. Subsequently Jonah then spent three days and three nights in the belly of a great fish before it spat him up onto dry land.
Typological interpretation of this story holds that it prefigures Christ's burial, the stomach of the fish representing Christ's tomb: as Jonah exited from the fish after three days and three nights, so did Christ rise from His tomb on the third day. In the New Testament, Jesus invokes Jonah in the manner of a type: "As the crowds increased, Jesus said, 'This is a wicked generation. It asks for a miraculous sign, but none will be given it except the sign of Jonah.'" Luke 11:29–32 (see also Matthew 12:38–42, 16:1–4). Jonah called the belly of the fish "She'ol", the land of the dead (translated as "the grave" in the NIV Bible).
Thus whenever one finds an allusion to Jonah in Medieval art or in Medieval literature, it usually represents an allegory for the burial and resurrection of Christ. Other common typological allegories entail the four major Old Testament prophets Isaiah, Jeremiah, Ezekiel, and Daniel prefiguring the four Evangelists Matthew, Mark, Luke, and John; or the twelve tribes of Israel foreshadowing the twelve apostles. Commentators could find countless numbers of analogies between stories of the Old Testament and the New; modern typologists prefer to limit themselves to considering typological relationships that they find sanctioned in the New Testament itself, as in the example of Jonah above.
Other Old Testament examples
Sacrifice of Isaac
Genesis Chapter 22 brings us the story of the preempted sacrifice of Isaac. God asks Abraham to sacrifice his son Isaac to Him, cited as foreshadowing the crucifixion of Jesus. When a suspicious Isaac asks his father “where is the lamb for the burnt offering” Abraham prophesied "God himself will provide the lamb for the burnt offering, my son." And indeed a ram caught by its horns awaited them, which is also seen as a type for Christ, the lamb that God provides for sacrifice crowned by thorns.
Genesis Chapters 37-50 has the story of Joseph in Egypt. Joseph is commonly cited as a Christ type in the story. Joseph is a very special son to his father. From his father’s perspective Joseph dies and then comes back to life as the ruler of Egypt. Actually Joseph’s brothers deceive their father by dipping his coat in the blood of a sacrificed animal. Later Joseph’s father finds that not only is Joseph alive but he also is the ruler of Egypt that saves the world of his day from a great famine. Other parallels between Joseph and Jesus include, both are rejected by their own people, both became servants, both are betrayed for silver, both are falsely accused and face false witnesses. Additionally, both attain stations at the "right hand" of the respective thrones (Joseph at Pharaoh's throne and Christ at the throne of God), and both provided for the salvation of gentiles (Joseph a physical salvation in preparing for the famine, while Christ provided the deeper spiritual salvation). Finally, Joseph married an Egyptian wife, bringing her into the Abrahamic lineage, whereas Christ's relationship with the church is also described in marriage terms in the New Testament.
Moses, like Joseph and Jonah, undergoes a symbolic death and resurrection. Moses is placed in a basket and floated down the Nile river, and then is drawn out of the Nile to be adopted as a prince (floating the body down the Nile river was also part of an Egyptian funerary ritual for royalty).
While in the wilderness, Moses put a brazen serpent on a pole which would heal anyone bitten by a snake who looked at it (Numbers 21:8). Jesus proclaimed that the serpent was a type of Himself, since "as Moses lifted up the serpent in the wilderness, even so must the Son of man be lifted up" (John 3:14) and "For he hath made him to be sin for us, who knew no sin; that we might be made the righteousness of God in him." (2Co 5:21)
In a battle with the Amalekites, Exodus 17:11 states that "as long as Moses held up his hands, the Israelites were winning, but whenever he lowered his hands, the Amalekites were winning." Commentators interpret Moses' raised hands as a type of Jesus' raised hands upon the Cross, for when Jesus' hands were raised as He died, a figurative battle with sin was waged, the end result being victory - that "all will be made alive." (1 Cor. 15:22)
Other types were found in aspects of the Old Testament less tied to specific events. The Jewish holidays also have typological fulfillment in the life of Christ. The Last Supper was a Passover meal. Furthermore, many people see the Spring Feasts as types of what Christ will accomplish in his first advent and the Fall Feasts as types of what Christ will accomplish in his second advent.
The Jewish Tabernacle is commonly seen as a series of complex types of Jesus Christ: for example, Jesus describes himself as "the door", and the only "way" to God, represented in the single, wide gate to the tabernacle court; the various layers of coverings over the tabernacle represent Christ's godliness (in the intricately woven inner covering) and his humanity (in the dull colouring of the outside covering) The Showbread prepared in the Temple of Jerusalem is also seen as a type for Christ.
As Erich Auerbach points out in his essay "Figura", typological (figural) interpretation co-existed alongside allegorical and symbolic-mythical forms of interpretation. But it was typology that was most influential as Christianity spread both in late Mediterranean cultures, but also in the North and Western Euoprean cultures. Auerbach notes that it was the predominant method of understanding the Hebrew scriptures until after the Reformation—that is, that the Hebrew texts were not understood as Jewish history and law but were instead interpreted "as figura rerum or phenomenal prophecy, as a prefiguration of Christ". Typological interpretation was a key element of Medieval realism, but remained important in Europe "up to the eighteenth century".
Further, typology was extended beyond interpretations of the Hebrew scriptures and applied to post-Biblical events, seeing them as "not the ultimate fulfillment, but [...] a promise of the end of time and the true kingdom of God." Thus, the Puritans interpreted their own history typologically:
|“||Applied more liberally and figured more broadly, typology expanded into a more elaborate verbal system that enabled an interpreter to discover biblical forecasts of current events. Thus, the Atlantic journey of the Puritans could be an antitype of the Exodus of the Israelites; and the New England colony, a New Zion, to which Christ may return to usher in the Millennium. The first settlers were conservative, cautious typologists, but as Edward Johnson's Wonder-Working Providence of Sion's Saviour in New England (1654; composed c. 1650) demonstrates, by the 1640s New England's sacred errand into the wilderness and the approaching Apocalypse were accepted antitypes of sacred history.||”|
In this way, the Puritans applied typology both to themselves as a group and to the progress of the individual souls:
|“||Applied more broadly, typology enabled Puritans to read biblical types as forecasting not just the events of the New Testament but also their own historical situation and experiences. In this way, individual Puritans could make sense of their own spiritual struggles and achievements by identifying with biblical personages like Adam, Noah, or Job. But this broad understanding of typology was not restricted to individual typing; the Puritans also interpreted their group identity as the fulfillment of Old Testament prophecy, identifying their community as the "New Israel."||”|
Typology also became important as a literary device, in which both historical and literary characters become prefigurations of later historical or literary characters.
- Correspondence (theology) - typology of Emanuel Swedenborg.
- Peter J. Leithart - typologist
- Tropological reading
- A Study of Biblical Typology (Wayne Jackson, Christian Courier)
- Encyclopaedia Britannica
- Liddell and Scott's Greek-English Lexicon, Oxford 1871.
- The Latin figura, meaning form, shape or figure, may be comparable, but is from the less violent verb fingo, finxi, fictum, to fashion, form or mould (Cassell's Latin Dictionary)
- See also Leviticus 18
- Typology Washington State University
- Emile Male, The Gothic Image, Religious Art in France of the Thirteenth Century, p 131-9, English translation of 3rd edition, 1913, Collins, London, ISBN 978-0064300322 (and many other editions)
- Jackson, see above
- for example Hebrews 8:6
- Learn the bible site
- Burial customs  .
- John 10:9
- CH Raven, God's Sanctuary, John Ritchie Ltd., 1991, ISBN 978-0-946351-31-2
- Auerbach, Erich. "Figura". pp.54-57.
- Auerbach p.58
- Auerbach p.53
- Auerbach p.61
- Auerbach p.58.
- See for instance, Sacvan Bercovitch, Typology and Early American Literature, U Mass Press, 1972.
- Emory Elliott, "New England Puritan Literature" p.188 at Donna Campbell's American Literature site at WSU
- American Passages Unit 3 Glossary
- Auerbach's essay treats of figuration in Dante. For a collection of essays on this topic, see Earl Miner, Literary Uses of Typology from the Late Middle Ages to the Present, Princeton U Press, 1977. Of especial interest in this volume are Robert Hollander's essay, "Typology and Secular Literature: Some Medieval Problems and Examples" (pp.3-19) and Barbara Kiefer Lewalski's "Typological Symbolism and the 'Progress of the Soul' in Seventeenth-Century Literature" (pp.79-114).
- Fairbairn, Patrick. The Typology of Scripture. Edinburgh: T. & T. Clark, 1847.
- Goppelt, Leonhardt. Typos: The Typology Interpretation of the Old Testament in the New. Grand Rapids: Eerdmans, 1982.
- Martens, Peter. "Revisiting the Allegory/Typology Distinction: The Case of Origen." Journal of Early Christian Studies 16 (2008): 283-317.
- Berkeley, Set of woodcut typological illustrations to the Speculum Humanae Salvationis
- Online book Patrick Fairbairn The Typology of Scripture, 1859
- Catholic Encyclopedia: Types in Scripture
- Jewish Encyclopedia: ALLEGORICAL INTERPRETATION
- Puritan typology, Donna M. Campbell, Washington State University