Erratum to “Convenient vector spaces embed into the Cahiers topos”
Etendues and stacks as bicategories of fractions
Every Grothendieck topos has a one-way site.
Executable specifications for data-type constructors
Exponentiable morphisms: Posets, spaces, locales, and Grothendieck toposes.
Extenseurs
Extensionable topological hulls and topological universe hulls inside the category of pseudotopological spaces
Factorization theorems for geometric morphisms, I
Fibrewise exponential laws in a quasitopos
Finite objects and extensional relations
Fonctions d'Euler-Jordan et de Gauß et exponentielle dans les semi-anneaux de Burnside
Formal manifolds and synthetic theory of jet bundles
Functorial concepts of complexity for finite automata.
Functorial polymorphism and semantic parametricity
Fundamental pro-groupoids and covering projections
We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX,...
Fundamental pushout toposes.
Gamuts and cofibrations
Generating families in a topos.
Glueing analysis for complemented subtoposes.
Homotopic pullbacks, Lax pullbacks, and exponentiability