范畴论

We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to the interests of Jim Lambek.

We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any…

Coalgebras for an endofunctor provide a category-theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired…

P. Gabriel showed that for an unital ring $R$, there exists a bijective correspondence between the set of Gabriel filters of $R$ and the set of Giraud subcategories of $\mathrm{Mod}(R)$ (see \cite[Lemme 1]{Gabriel1} on page 412). In this…

We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality…

This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to…

We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class…

We solve the word problem for free double categories without equations between generators by translating it to the word problem for 2-categories. This yields a quadratic algorithm deciding the equality of diagrams in a free double category.…

Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\mathsf{K}$, which all…

This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category,…

In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those…

This is a survey on selected developments in the theory of natural dualities where the author had the opportunity to make with his foreign colleagues several breakthroughs and move the theory forward. It is aimed as author's reflection on…

In this paper, we continue our program of systematic categorification of the Noncommutative Differential Geometry of Connes. We replace a ring with a small $\mathbb C$-linear category, seen as a ring with several objects in the sense of…

We consider simplicial sets equipped with a notion of smallness, and observe that this slight "topological" extension of the "algebraic" simplicial language allows a concise reformulation of a number of classical notions in topology, e.g.…

Given a complete hereditary cotorsion pair $(\mathcal{A},\mathcal{B})$ in a Grothendieck category $\mathcal{G}$, the derived category $\mathcal{D}(\mathcal{B})$ of the exact category $\mathcal{B}$ is defined as the quotient of the category…

Ng and Schauenburg generalized higher Frobenius-Schur indicators to pivotal fusion categories and showed that these indicators may be computed utilizing the modular data of the Drinfel'd center of the given category. We consider two classes…

This Bachelor's thesis studies Adelman's construction of the universal abelian category of an additive category. It furthermore extends the construction such that it also applies to transformations between additive functors.

It is proved that the projective model structure of the category of topologically enriched diagrams of topological spaces over a topologically enriched locally contractible small category is Quillen equivalent to the standard Quillen model…

One-sided exact categories appear naturally as instances of Grothendieck pretopologies. In an additive setting they are given by considering the one-sided part of Keller's axioms defining Quillen exact categories. We study one-sided exact…

This is the first part of a two paper series studying free globularily generated double categories. In this first installment we introduce the free globularily generated double category construction. The free globularily generated double…