相关论文: Naturally full functors in nature

We develop a rigorous, equation-free category-theoretic foundation for fungal organisation. A fungal organism is formalised as a functor from a category $\Env$ of structured environmental states and admissible transformations to a category…

Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we…

Let R be a commutative Noetherian ring, I and J ideals of R and M a finitely generated R-module. Let F be a covariant R-linear functor from the category of finitely generated R-modules to itself. We first show that if F is coherent, then…

Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories…

We make a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.

We consider the dynamical properties of transcendental entire functions and their compositions. We give several conditions under which Fatou set of a transcendental entire function $f$ coincide with that of $f\circ g,$ where $g$ is another…

Given a finite dimensional algebra over a perfect field the text introduces covering functors over the mesh category of any modulated Auslander-Reiten component of the algebra. This is applied to study the composition of irreducible…

We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…

Optics, aka functional references, are classes of tools that allow composable access into compound data structures. Usually defined as programming language libraries, they provide combinators to manipulate different shapes of data such as…

This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully…

In the first part of this note, we review and compare various instances of the notion of twisted coefficient system, a.k.a. polynomial functor, appearing in the literature. This notion hinges on how one defines the degree of a functor from…

Conformal predictors provide set or functional predictions that are valid under the assumption of randomness, i.e., under the assumption of independent and identically distributed data. The question asked in this paper is whether there are…

We give some functorial characterizations of flat strict Mittag-Leffler modules. We characterize reflexive functors of modules with similar tools, definitions and theorems.

Finite modules, finitely presented modules and Mittag-Leffler modules are characterized by their behaviour by tensoring with direct products of modules. In this paper, we study and characterize the functors of modules that preserve direct…

In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to…

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…

For a group G we consider the set of natural numbers n for which the nth cohomology functor of G commutes with filtered colimit systems of coefficient modules. We find that for the large class of hierarchically decomposable groups there is…

In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our…

We construct the quadratic analogue of the boson Fock functor. While in the first order case all contractions on the 1--particle space can be second quantized, the semigroup of contractions that admit a quadratic second quantization is much…

Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely,…