相关论文: Category of chain bundles

The extension of the knot group $\pi_1(S^3\setminus K)$ to the category of tangles is introduced via a new category-theoretic construction. Through this presentation, a new avenue of proof for results about knot groups is opened.

We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We…

We introduce some deformations of the biset category and prove a semisimplicity property. We also consider another group category, called the subgroup category, whose morphisms are subgroups of direct products, the composition being star…

Great part of the interest in complex networks has been motivated by the presence of structured, frequently non-uniform, connectivity. Because diverse connectivity patterns tend to result in distinct network dynamics, and also because they…

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if…

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal…

Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we…

We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently…

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…

In view of the fact that many of the most familiar examples of category bases are equivalent to some topology, it is natural to ask whether category bases are always topological in nature. The answer is in the negative. In this paper, we…

A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable…

We give a rigorous development of the construction of new braided fusion categories from a given category known as zesting. This method has been used in the past to provide categorifications of new fusion rule algebras, modular data, and…

A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for c not equal to c'. If we keep in place the latter axiom but allow for more…

Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend…

When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning,…

This is a continuation of the authors' previous work [math.AT/9910001] on classification of equivariant complex vector bundles over a circle. In this paper we classify equivariant real vector bundles over a circle with a compact Lie group…

The concept of category from mathematics happens to be useful to computer programmers in many ways. Unfortunately, all "good" explanations of categories so far have been designed by mathematicians, or at least theoreticians with a strong…

In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that…

For a weighted projective line X, a wide subcategory of the category coh-X of coherent sheaves over X is called c-invariant if it is closed under the grading shift of the canonical element c. We proved that a c-invariant wide subcategory of…