@article{Awodey2018, author = "Steven Awodey and Jonas Eliasson", title = "{Ultrasheaves and Double Negation}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Ultrasheaves_and_Double_Negation/6493022", doi = "10.1184/R1/6493022.v1" }