# Functorial Semantics for Higher-order Logic Dissertation Abstract

@inproceedings{Awodey2007FunctorialSF, title={Functorial Semantics for Higher-order Logic Dissertation Abstract}, author={Steve Awodey}, year={2007} }

This dissertation investigates what may be termed the model theory of higher-order logic using the methods of category theory. Of course, there is no such eld of logic as \higher-order model theory," and so our rst concern in chapter I will be to specify the basic objects under investigation, viz. higher-order logical theories and their models. This is a fairly straightforward generalization|in two diierent directions|of the familiar corresponding notions for rst-order logic: the notion of a…

No Paper Link Available

## One Citation

### ON APPLYING STOCHASTIC PROBLEMS IN HIGHER-ORDER THEORIES

- Mathematics, Computer Science
- 2007

In the article presented, probabilistic programming is a programming in which the probabilities of the values of the variables are of interest, and category theory is used for construction of type theory and of the logical system.

## References

SHOWING 1-10 OF 15 REFERENCES

### Sheaves in geometry and logic: a first introduction to topos theory

- Mathematics
- 1992

This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various…

### Aspects of topoi

- Philosophy, MathematicsBulletin of the Australian Mathematical Society
- 1972

After a review of the work of Lawvere and Tierney, it is shown that every topos may be exactly embedded in a product of topoi each with 1 as a generator, and near-exactly embedded in a power of the…

### Introduction to higher order categorical logic

- Philosophy
- 1986

Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories…

### General theory of natural equivalences

- Philosophy
- 1945

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and…

### La logique des topos

- Computer Science, MathematicsJournal of Symbolic Logic
- 1981

Les synthèses nouvelles par le rapprochement de disciplines mathématiques différentes constituent des événements remarquables dans l'histoire des mathématiques. Une telle synthèse semble émerger…

### Toposes and local set theories

- Toposes and local set theories
- 1988

### The logic of topoi, Handbook of Mathematical Logic

- The logic of topoi, Handbook of Mathematical Logic
- 1977