相关论文: Introduction to Ann-categories
We demonstrate how category theory provides specifications that can efficiently be implemented via imperative algorithms and apply this to the field of graph rewriting. By examples, we show how this paradigm of software development makes it…
We classify the thick subcategories of discrete derived categories. To do this we introduce certain generating sets called arc-collections which correspond to configurations of non-crossing arcs on a geometric model. We show that every…
We compare derived categories of the category of strict polynomial functors over a finite field and the category of ordinary endofunctors on the category of vector spaces. We introduce two intermediate categories: the category of…
If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…
We prove that a Quillen adjunction of model categories (of which we do not require functorial factorizations and of which we only require finite bicompleteness) induces a canonical adjunction of underlying quasicategories.
In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.
In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $\pi$-institutions. This is done at both a foundational and an applied level. Firstly, we…
These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical…
Functors involved in Fontaine equivalences decompose as extension of scalars and taking of invariants between full subcategories of modules over a topological ring equipped with semi-linear continuous action of a topological monoid. We give…
We consider essentially small rigid tensor categories (not necessarily abelian) which have a faithful tensor functor to a category of super vector spaces over a field of characteristic 0. It is shown how to construct for each such tensor…
We develop a functorial theory of spinor and oscillator representations parallel to the theory of Schur functors for general linear groups. This continues our work on developing orthogonal and symplectic analogues of Schur functors. As…
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural…
Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…
We introduce a 3-dimensional categorical structure which we call intercategory. This is a kind of weak triple category with three kinds of arrows, three kinds of 2-dimensional cells and one kind of 3-dimensional cells. In one dimension, the…
We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the…
In this paper we carry the construction of equilogical spaces into an arbitrary category $\mathsf{X}$ topological over $\mathsf{Set}$, introducing the category $\mathsf{X}$-$\mathsf{Equ}$ of equilogical objects. Similar to what is done for…
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…
Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a…