No Arabic abstract
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 the other deleting infinitesimals on Fermat spaces. We study the properties of these functors, and calculate some examples. These serve as fundamentals for developing differential geometry on diffeological spaces using infinitesimals in a future paper.
Each Gr-functor of the type $(varphi,f)$ of a Gr-category of the type $(Pi,C)$ has the obstruction be an element $overline{k}in H^3(Pi,C).$ When this obstruction vanishes, there exists a bijection between congruence classes of Gr-functors of the type $(varphi,f)$ and the cohomology group $H^2(Pi,C).$ Then the relation of Gr-category theory and the group extension problem can be established and used to prove that each Gr-category is Gr-equivalent to a strict one.
We develop the integral calculus for quasi-standard smooth functions defined on the ring of Fermat reals. The approach is by proving the existence and uniqueness of primitives. Besides the classical integral formulas, we show the flexibility of the Cartesian closed framework of Fermat spaces to deal with infinite dimensional integral operators. The total order relation between scalars permits to prove several classical order properties of these integrals and to study multiple integrals on Peano-Jordan-like integration domains.
This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give sufficient conditions for a collection of spherical functors to yield a weak representation of the category of tangles, and prove a structure theorem for such representations under certain restrictions.
Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burronis category Cat(T) of (internal) T-categories and their functors. This context provides for some expected applications and some unexpected connections. For example, it lets us deduce that the comprehensive factorization is also available for functors of Lambeks multicategories. In topology, it leads to the insight that the role of discrete cofibrations is played by perfect maps, with the comprehensive factorization of a continuous map given by its fibrewise compactification.
We characterize the category of co-semi-analytic functors and describe an action of semi-analytic functors on co-semi-analytic functors.