Related papers: On calculus of functors in model categories
The purpose of this this paper is to generalize the functors arising from the theory of Witt vectors duto to Cartier. Given a polynomial $g(q)\in \mathbb Z[q]$, we construct a functor ${\overline {W}}^{g(q)}$ from the category of $\mathbb…
We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More…
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
This is a partial derivative of \cite{MR94g:17044}. We give a list of examples/problems that some will find amusing.
We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative…
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
Ambiguity is shown in the context of the differential calculus of several variables and with the help of the language of category theory, a way to solve it in its most general form is offered. It is also shown that this new definition is…
We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…
In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…
We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morphisms. We show that explanations compose under a standard…
We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…
We present the basic theory of calculus on dual real numbers, and prove the counterpart of the ordinary fundamental theorem of calculus in the context of dual real numbers.
We can define a module to be an exact functor on a small abelian category. This is explained and shown to be equivalent to the usual definition but it does offer a different perspective, inspired by the notions from model theory of…
We give a criterion for a functor \(F:C\rightarrow B\) between small categories to generate a small presentation of the universal model category \(U(B)\) in the sense of Dugger.
This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…