Related papers: Geometric constructions preserve fibrations
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
We introduce a pro-\'etale geometric object $D_\infty$ arising naturally from the tower of Artin-Schreier extensions in characteristic 2, equipped with a canonical endofunctor $O$ whose fixed points correspond to automorphic representations…
We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…
In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…
Using the language of double categories we generalise a classical result on finite-product-preserving left Kan extensions, by Ad\'amek and Rosick\'y, to one on left Kan extensions that preserve algebraic structures defined by `suitable'…
Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies…
Given any category $\mathcal{C}$ with pullbacks and a terminal object, we show that the data consisting of the objects of $\mathcal{C}$, the spans of $\mathcal{C}$, and the isomorphism classes of spans of spans of $\mathcal{C}$, forms a…
We set the foundations of a theory of Grothendieck $(\infty,2)$-topoi based on the notion of fibrational descent, which axiomatizes both the existence of a classifying object for fibrations internal to an $(\infty,2)$-category as well as…
We characterize bijections on matrix spaces (operator algebras) preserving full rank (invertibility) of differences of matrix (operator) pairs in both directions.
We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given…
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…
Importance of theorem dedicated to isomorphisms consist in statement that they allow to identify different mathematical objects which have something common from the point of view of certain model. This paper considers morphisms of \Ts…
Let $\sR$ be an epireflective category of $\topo$ and let $F_\sR$\, be the epireflective functor associated with $\sR$. If $\sA$ denotes a (semi)topological algebraic subcategory of $\topo$, we study when $F_\sR\,(A)$ is an epireflective…
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…
We describe a bicategory $(\mathcal{R}ed\,\mathcal{O}rb)$ of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using…
We prove there is a class of maps $\gamma:\mathbb{T}^{2n}\rightarrow\mathbb{S}^1$ such that a conservative dynamically coherent partially hyperbolic skew-product on $\mathbb{T}^{2n}\times\mathbb{S}^1$ with fixed hyperbolic dynamics on the…
We introduce the notion of a G\"odel fibration, which is a fibration categorically embodying both the logical principle of traditional Skolemization (we can exchange the order of quantifiers paying the price of a functional) and the…
Topoi are categories which have enough structure to interpret higher order logic. They admit two notions of morphism: logical morphisms which preserve all of the structure and therefore the interpretation of higher order logic, and…