A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categorie...

Full description

Saved in:
Bibliographic Details
Published in2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) pp. 1 - 10
Main Authors Mellies, Paul-Andre, Zeilberger, Noam
Format Conference Proceeding
LanguageEnglish
Published ACM 01.07.2016
Subjects
Calculus
Cats
Computer languages
Junctions
Semantics
Servers
Terminology
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first