0 the examinations for a BA honours degree (= first university degree) at Cambridge University, consisting of two parts: --
Here are two examples of first order hyperdoctrines that are relevant to the development of tripos theory.
The definition of a tripos says, in effect, that it is sound for intuitionistic logic; so these proofs establish the adjunction.
The rest of the tripos structure is straightforward.
Our aim is to extend this result to induction principles in an arbitrary tripos.
However, triposes often arise by applying various constructions to other triposes.
How appropriate that the first paper on triposes should have three authors.
After obtaining a number of scholarships and prizes, she graduated with first-class honours in both parts of the classical tripos and eventually obtained a research fellowship.
A number of them went on to achieve high distinction in the mathematical tripos, and subsequently in the hierarchies of university and church.
