English
Related papers

Related papers: On the subdivision of small categories

200 papers

Graph classification plays an important role is data mining, and various methods have been developed recently for classifying graphs. In this paper, we propose a novel method for graph classification that is based on homotopy equivalence of…

Discrete Mathematics · Computer Science 2017-07-18 Alexander V. Evako

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…

Algebraic Topology · Mathematics 2007-05-23 Julia E. Bergner

Based on a Whitehead-type characterization of the sectional category we develop the notion of weak sectional category. This is a new lower bound of the sectional category, which is inspired by the notion of weak category in the sense of…

Algebraic Topology · Mathematics 2014-02-26 J. M. G. Calcines , L. Vandembroucq

Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…

Category Theory · Mathematics 2008-06-03 S. S. Moskaliuk , A. T. Vlassov

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

Category Theory · Mathematics 2025-10-31 Xavier Mary

For $\Cc$ a $G$-category, we give a condition on a diagram of simplicial sets indexed on $\Cc$ that allows us to define a natural $G$-action on its homotopy colimit, and in some other simplicial sets and categories defined in terms of the…

Algebraic Topology · Mathematics 2007-05-23 Rafael Villarroel-Flores

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…

Algebraic Geometry · Mathematics 2016-03-16 Ryo Kanda

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

Algebraic Topology · Mathematics 2007-05-23 J. F. Jardine

The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers,…

Logic · Mathematics 2025-12-23 Hans Schoutens

We show that the product of any number of sequentially pseudocompact topological spaces is still sequentially pseudocompact. The definition of sequential pseudocompactness can be given in (at least) two ways: we show their equivalence. Some…

General Topology · Mathematics 2016-04-19 Paolo Lipparini

We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…

Category Theory · Mathematics 2023-04-10 James Pascaleff

In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and…

Algebraic Topology · Mathematics 2015-03-06 D. Fernández-Ternero , E. Macías-Virgós , J. A. Vilches

Quantum categories were introduced in [4] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set…

Category Theory · Mathematics 2015-03-13 Dimitri Chikhladze

We consider simplicial sets equipped with a notion of smallness, and observe that this slight "topological" extension of the "algebraic" simplicial language allows a concise reformulation of a number of classical notions in topology, e.g.…

Category Theory · Mathematics 2019-12-30 M. Gavrilovich

Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions. For example, they cannot capture protocols such as quantum…

Logic in Computer Science · Computer Science 2016-04-20 Chris Heunen

We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour…

Combinatorics · Mathematics 2022-04-19 Dane Miyata , Nicholas Proudfoot , Eric Ramos

This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…

Algebraic Topology · Mathematics 2014-10-01 P. Carrasco , A. M. Cegarra , A. R. Garzón

In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…

General Topology · Mathematics 2022-02-01 Dariusz Bugajewski , Piotr Maćkowiak , Ruidong Wang

We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…

Rings and Algebras · Mathematics 2015-03-17 S. Caenepeel

We give an elementary introduction to the theory of triangulated categories covering their axioms, homological algebra in triangulated categories, triangulated subcategories, and Verdier localization. We try to use a minimal set of axioms…

K-Theory and Homology · Mathematics 2014-07-17 Tobias Fritz