范畴论

This introduction to higher category theory is intended to a give the reader an intuition for what $(\infty,1)$-categories are, when they are an appropriate tool, how they fit into the landscape of higher category, how concepts from…

The author studied in \cite{shi} the covering map property of the local homeomorphism associating to the space of stability conditions over the $n$-Kronecker quiver. In this paper, we discuss the covering map property for stability…

The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…

We give a categorical description of the treatment of the !() exponential in the Geometry of Interaction system, with particular emphasis on the fact that the GoI interpretation 'forgets types'. We demonstrate that it may be thought of as a…

It is known that strict omega-categories are equivalent through the nerve functor to complicial sets and to sets with complicial identities. It follows that complicial sets are equivalent to sets with complicial identities. We discuss these…

We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also…

We study the totality of categories weakly enriched in a monoidal bicategory using a notion of enriched icon as 2-cells. We show that when the monoidal bicategory in question is symmetric then this process can be iterated. We show that…

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…

In the first part we recall two famous sources of solutions to the Yang-Baxter equation -- R-matrices and Yetter-Drinfel$'$d (=YD) modules -- and an interpretation of the former as a particular case of the latter. We show that this result…

The primary contribution of this paper is to give a formal, categorical treatment to Penrose's abstract tensor notation, in the context of traced symmetric monoidal categories. To do so, we introduce a typed, sum-free version of an abstract…

Let $A$ be a DG algebra with a trivial differential over a commutative unital ring. This paper investigates the image of the totaling functor, defined from the category of complexes of graded $A$-modules to the category of DG $A$-modules.…

We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school. These structures are orders, with or without composition, and (symmetric) monoidal categories. We list several `real life'…

We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner algebra of an association scheme appears as a subalgebra in…

Graph inverse semigroups generalize the polycyclic inverse monoids and play an important role in the theory of C*-algebras. This paper has two main goals: first, to provide an abstract characterization of graph inverse semigroups; and…

In this paper a notion of {\it generalized 2-vector space} is introduced which includes Kapranov and Voevodsky 2-vector spaces. Various kinds of generalized 2-vector spaces are considered and examples are given. The existence of non free…

In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…

We give a concrete description of a strict totally coordinatized version of Kapranov and Voevodsky's 2-category of finite dimensional 2-vector spaces. In particular, we give explicit formulas for composition of 1-morphisms and the two…

In this work, we explain `Peiffer pairings' in the Moore (bi)complex of a bisimplicial group and give their applications for crossed modules and crossed squares.

In this paper we study loops, neardomains and nearfields from a categorical point of view. By choosing the right kind of morphisms, we can show that the category of neardomains is equivalent to the category of sharply 2-transitive groups.…

In this work, we show that the forgetful functor from the category of Baues's quadratic modules to that of nil(2)-modules is a bifibration.