These notes try to be as complete as possible along side intuitive explanations of the concepts of fibrational models of type theory.
heades/notes-on-fibrations
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
These notes try to be as complete as possible along side intuitive explanations of the concepts of fibrational models of type theory.