Search results for "Functor"
showing 10 items of 32 documents
Functorial Test Modules
2016
In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X \to Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ \tau \cong \tau \circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $\tau \circ f_* \to f_* \circ \tau$.
OPERADS AND JET MODULES
2005
Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over commutative algebras, which we use to define the notion of a jet module. This in turn generalises the notion of a jet module over a module over a classical commutative algebra. We are able to define Atiyah classes (i.e. obstructions to the existence of connections) in this generalised context. We use certain model structures on the category of $A$-modules to study the properties of these Atiyah classes. The purpose of the paper is not to present any really de…
Birkhoff-Frink representations as functors
2010
In an earlier article we characterized, from the viewpoint of set theory, those closure operators for which the classical result of Birkhoff and Frink, stating the equivalence between algebraic closure spaces, subalgebra lattices and algebraic lattices, holds in a many-sorted setting. In the present article we investigate, from the standpoint of category theory, the form these equivalences take when the adequate morphisms of the several different species of structures implicated in them are also taken into account. Specifically, our main aim is to provide a functorial rendering of the Birkhoff-Frink representation theorems for both single-sorted algebras and many-sorted algebras, by definin…
On some aspects of Borel-Moore homology in motivic homotopy : weight and Quillen’s G-theory
2016
The theme of this thesis is different aspects of Borel-Moore theory in the world of motives. Classically, over the field of complex numbers, Borel-Moore homology, also called “homology with compact support”, has some properties quite different from singular homology. In this thesis we study some generalizations and applications of this theory in triangulated categories of motives.The thesis is composed of two parts. In the first part we define Borel-Moore motivic homology in the triangulated categories of mixed motives defined by Cisinski and Déglise and study its various functorial properties, especially a functoriality similar to the refined Gysin morphism defined by Fulton. These results…
A fuzzification of the category of M-valued L-topological spaces
2004
[EN] A fuzzy category is a certain superstructure over an ordinary category in which ”potential” objects and ”potential” morphisms could be such to a certain degree. The aim of this paper is to introduce a fuzzy category FTOP(L,M) extending the category TOP(L,M) of M-valued L- topological spaces which in its turn is an extension of the category TOP(L) of L-fuzzy topological spaces in Kubiak-Sostak’s sense. Basic properties of the fuzzy category FTOP(L,M) and its objects are studied.
On ordered categories as a framework for fuzzification of algebraic and topological structures
2009
Using the framework of ordered categories, the paper considers a generalization of the fuzzification machinery of algebraic structures introduced by Rosenfeld as well as provides a new approach to fuzzification of topological structures, which amounts to fuzzifying the underlying ''set'' of a structure in a suitably compatible way, leaving the structure itself crisp. The latter machinery allows the so-called ''double fuzzification'', i.e., a fuzzification of something that is already fuzzified.
Global functorial hypergestures over general skeleta for musical performance
2016
Musical performance theory using Lagrangian formalism, inspired by physical string theory, has been described in previous research. That approach was restricted to zero-addressed hypergestures of local character, and also to digraph skeleta of simple arrow type. In this article, we extend the theory to hypergestures that are defined functorially over general topological categories as addresses, are global, and are also defined for general skeleta. We also prove several versions of the important Escher Theorem for this general setup. This extension is highly motivated by theoretical and practical musical performance requirements of which we give concrete examples.
$V$-filtrations in positive characteristic and test modules
2013
Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor $Gr^{[0,1]}$ from Cartier crystals to Cartier crystals supported on $V(\mathfrak{a})$. This functor commutes with finite pushforwards for principal ideals and with pullbacks along essentially \'etale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the \'etale case (cf. ar…
Polynomial functors and polynomial monads
2009
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.
Weighted limits in simplicial homotopy theory
2010
Abstract By combining ideas of homotopical algebra and of enriched category theory, we explain how two classical formulas for homotopy colimits, one arising from the work of Quillen and one arising from the work of Bousfield and Kan, are instances of general formulas for the derived functor of the weighted colimit functor.