范畴论
We show that the category of (reflexive) graphs and graph maps carries exactly two closed symmetric monoidal products: the box product and the categorical product.
We develop a homological duality framework based on a contravariant functor $D=\operatorname{Hom}_E(-,R)$ with dualizing object $R$. A morphism is called ethic when it satisfies the canonical double-dual compatibility $D^2(f)\eta=\eta f$.…
We describe a simple criterion which makes it easy to recognise when a pseudomonad is lax-idempotent. The criterion concerns the behaviour of colax bilimits of arrows - certain comma objects - and is easy to verify in examples. Building on…
Frobenius algebras in the category of sets and relations ($\mathbf{Rel}$) serve as a unifying framework for various algebraic and combinatorial structures, including groupoids, effect algebras, and abstract circles. Recently, a nerve…
We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…
This paper is the third part of a program aimed at building a unified operadic and multicategorical foundation for operator theory and quantum processes. Building on the multicategory HilbMult and the previously introduced Synergy Operad,…
Building on work of Chen, we give a universal property of the Markov category BorelStoch of standard Borel spaces and Markov kernels between them. To do this, we introduce a new notion of *coinflip*, or unbiased binary choice, in a Markov…
The notions of null-sets and nullity are present in all discourses of mathematics. They are based on the dual-pair of notions of "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as…
We develop a general framework for working with structured lifting problems, establishing closure and uniqueness properties of their solutions. In a subsequent paper, we apply these results to axiomatize computation rules of cubical type…
We show that the Yoneda embedding 'is' $(\infty,2)$-natural with respect to the functoriality of presheaves via left Kan extension, refining the $(\infty,1)$-categorical result proven independently by Haugseng-Hebestreit-Linskens-Nuiten and…
We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for…
In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we formulate an algebraic property characterizing…
Given a complete hereditary cotorsion pair (A,B) in ModR, we construct a complete hereditary cotorsion pair in the derived category D(R) of unbounded complexes with respect to the proper class {\xi} of cohomologically ghost triangles…
We prove some facts about locales $L$ equipped with the Scott topology $\Omega(L)$, in particular studying a canonical frame homomorphism $\phi:\Omega(L)\to L$ which is motivated by an application to cognitive science. Such a topological…
We give an elementary construction of the exact completion of a weakly lex category for categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets. Paralleling the ordinary case, we characterize categories…
Bondal-Kapranov's notion of enhanced triangulated categories behaves well in the framework of localization theory, in the sense that the Verdier quotient of triangulated categories can be lifted to the Drinfeld dg quotient of…
Bourke and Garner described how to cofibrantly generate algebraic weak factorisation systems by a small double category of morphisms. However they did not give an explicit construction of the resulting factorisations as in the classical…
In this paper, we introduce the notation of monobricks in an extriangulated length category as a generalization of the semibricks. We prove that there is a bijection between monobricks and left Schur subcategories. Then we show that this…
Let $\mathcal{C}=(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we introduce and study quasi-resolving subcategories in $\mathcal{C}$. More precisely,…
Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…