3 citations · 6 across the 8 of their papers we have counts for
9 papers
A comonad for Grothendieck fibrations
Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini +1
We prove that cloven Grothendieck fibrations over a fixed base $\ct{B}$ are the pseudo-coalgebras for a lax idempotent 2-comonad on $\ct{Cat}/\ct{B}$. We show this via an original…
An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
Richard Garner, Thomas Streicher
We describe an essential local geometric morphism which is not locally connected, though its inverse image part defines an exponential ideal
Triposes as a Generalization of Localic Geometric Morphisms
J. Frey, T. Streicher
We discuss how triposes may be understood as generalizations of localic geometric morphisms.
Simplicial sets inside cubical sets
Thomas Streicher, Jonathan Weinberger
As observed recently by various people the topos of simplicial sets appears as essential subtopos of a topos of cubical sets, namely presheaves over…
Fibered Categories a la Jean Benabou
Thomas Streicher
These are notes about the theory of Fibred Categories as I have learned it from Jean Benabou. I also have used results from the Thesis of Jean-Luc Moens from 1982 in those sections…
Computability in Basic Quantum Mechanics
Eike Neumann, Martin Pape, Thomas Streicher
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space . In terms of the Hilbert lattice of close…
Observationally-induced algebras in Domain Theory
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the par…
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes
Samuele Maschio, Thomas Streicher
With every pca and subpca we associate the nested realizability topos within which we identify a class of s…
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
Thomas Streicher
We study a classical realizability model (in the sense of J.-L. Krivine) arising from a model of untyped lambda calculus in coherence spaces. We show that this model validates coun…