Related papers: On morphisms of relative toposes

We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization…

The concept of relative sectional category expands upon classical sectional category theory by incorporating the pullback of a fibration along a map. Our paper aims not only to explore this extension but also to thoroughly investigate its…

We construct a 2-categorical extension of the relative entropy functor of Baez and Fritz, and show that our construction is functorial with respect to vertical morphisms. Moreover, we show such a `2-relative entropy' satisfies natural…

In this note we show how two fundamental results in Topos theory follow by repeated use of Yoneda's Lemma, the formalism of natural transformations and very basic category theory. In Lemma 9.4, we show the fundamental result SGA4 EXPOSE IV…

In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…

To a homology theory one can associate an additive site and a new homological functor with values in the category of additive sheaves on that site. If this category of sheaves can be shown to be equivalent to a category of comodules of a…

We explore inflectional morphology as an example of the relationship of the discrete and the continuous in linguistics. The grammar requests a form of a lexeme by specifying a set of feature values, which corresponds to a corner M of a…

In this paper, we use some basic quasi-topos theory to study two functors: one adding infinitesimals of Fermat reals to diffeological spaces (which generalize smooth manifolds including singular spaces and infinite dimensional spaces), and…

In this paper we introduce a notion of an attractor for local semiflows on topological spaces, which in some cases seems to be more suitable than the existing ones in the literature. Based on this notion we develop a basic attractor theory…

Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the…

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous papers, we introduce the notion of formal manifolds and study…

The Lefschetz fixed point theorem and its converse have many generalizations. One of these generalizations is to endomorphisms of a space relative to a fixed subspace. In this paper we define relative Lefschetz numbers and Reidemeister…

An embedding of chaotic data into a suitable phase space creates a diffeomorphism of the original attractor with the reconstructed attractor. Although diffeomorphic, the original and reconstructed attractors may not be topologically…

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

We investigate relative versions of dualizability designed for relative versions of topological field theories (TFTs), also called twisted TFTs, or quiche TFTs in the context of symmetries. In even dimensions we show an equivalence between…

In this paper we study the diffeomorphism centralizer of a vector field: given a vector field it is the set of diffeomorphisms that commutes with the flow. Our main theorem states that for a $C^1$-generic diffeomorphism having at most…

In this note, we provide some categorical perspectives on the relativization construction arising from quantum measurement theory in the presence of symmetries and occupying a central place in the operational approach to quantum reference…

We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…

A symmetric Lorenz map is obtain by ``flipping'' one of the two branches of a symmetric unimodal map. We use this to derive a Sharkovsky-like theorem for symmetric Lorenz maps, and also to find cases where the unimodal map restricted to the…

We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double…