范畴论

In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor…

Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…

In recent years, there has been great interest in the study of categorification, specifically as it applies to the theory of quantum groups. In this thesis, we would like to provide a new approach to this problem by looking at Hall…

The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new…

We introduce a ramified covering of small categories, and we show three properties of the notion: the Riemann-Hurwitz formula holds for a ramified covering of finite categories, the zeta function of $C$ divides that of $\widetilde{C}$ for a…

This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…

We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.

We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…

We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that…

The notion of Ann-categories is a categorification of the ring structure. Regular Ann-categories were classified by Shukla algebraic cohomology. In this article, we state and prove the precise theorem on classification for the general case…

We continue the development of the infinitesimal deformation theory of pasting diagrams of k-linear categories begun in Yetter, D.N. "On Deformations of Pasting Diagrams", Theory and Applications of Categories 22 (2009) 24-53. In that…

Categories over a field $k$ can be graded by different groups in a connected way; we consider morphisms between these gradings in order to define the fundamental grading group. We prove that this group is isomorphic to the fundamental group…

M\"obius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying…

We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.

We make a study of ll-extensions of model category structures. We prove an existence result of ll-extensions, present some specific and some rather formal results about them and give an application of the existence result to the homotopy…

We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract dags with input/output interfaces. Our development provides…

The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a…

Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…

The classical universal bundle functor W:sGrp(C) \to sSet(C) for simplicial groups in a category C with finite products lifts to a monad on sGrp(C). This result extends to simplicial algebras for any Lawvere theory containing that of…

In this article we review the theory of anafunctors introduced by Makkai and Bartels, and show that given a subcanonical site S, one can form a bicategorical localisation of various 2-categories of internal categories or groupoids at weak…