范畴论

Taking advantage of the quantale-theoretic description of \'etale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms of modules on inverse quantal frames. The Hilbert module description of quantale…

By a map $p:Q\to X$ of involutive quantales is meant a homomorphism $p^*:X\to Q$. Calling a map $p$ weakly open if $p^*$ has a left adjoint $p_!$ which satisfies the Frobenius reciprocity condition (i.e., $p_!$ is a homomorphism of…

We define a general notion of centrally $\Gamma$-graded sets and groups and of their graded products, and prove some basic results about the corresponding categories: most importantly, they form braided monoidal categories. Here, $\Gamma$…

In this article, we investigate the category $\mathcal{A}^G$ of equivariant objects of an additive category $\mathcal{A}$ with respect to an action of a finite group $G$. We show that if $G$ is solvable then we can reconstruct $\mathcal{A}$…

In this paper, cogenerating classes of $S$-acts are introduced as those that can be used to cogenerate $S$-acts in an appropriate sense. Next, finitely cogenerated $S$-acts are introduced. Such an $S$-act is then characterized as one whose…

We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad.…

Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. In this paper, we first introduce the concept of left Frobenius pairs on an extriangulated…

Motivated by the categorical-algebraic analysis of split epimorphisms of monoids, we study the concept of a special object induced by the intrinsic Schreier split epimorphisms in the context of a regular unital category with binary…

This is the second installment of a two part series of papers studying free globularly generated double categories. We introduce the canonical double projection construction. The canonical double projection translates information from free…

In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while…

We develop the theory of weak Fraisse categories, where the crucial concept is the weak amalgamation property, discovered relatively recently in model theory. We show that, in a suitable framework, every weak Fraisse category has its unique…

The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…

We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main…

We construct a q-model structure, a h-model structure and a m-model structure on multipointed $d$-spaces and on flows. The two q-model structures are combinatorial and coincide with the combinatorial model structures already known on these…

In this article, the interplay between Vop\v{e}nka's principle, as well as its weaker counterpart, and presentable $\infty$-categories is studied. Analogous statements, arising after replacing categories with $\infty$-categories in the…

We develop the notion of left and right Bousfield localizations in proper, cellular symmetric monoidal model categories with cofibrant unit, using homotopy function complexes defined by internal Hom objects instead of Hom sets.

We introduce the notion of asymptotic Grothendieck groups for abelian and triangulated categories that are both AB4 and AB4*. We study when the asymptotic Grothendieck group of the heart of a triangulated category with a t-structure is…

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we…

The notion of semi-unital semi-monoidal category was defined a couple of years ago using the so called "Takahashi tensor product" and so far, the only example of it in the literature is complex. In this paper, we use the recently defined…

The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…