Related papers: Cocycle categories

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it.…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

Inverse categories are categories in which every morphism x has a unique pseudo-inverse y in the sense that xyx=x and yxy=y. Persistence modules from topological data analysis and similarly decomposable category representations factor…

We define and prove uniqueness of a natural homomorphism (called the Orchard morphism) from some groups associated naturally to a finite set $E$ to the group ${\mathcal E}(E)$ of two-partitions of $E$ representing equivalence relations…

There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and…

A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…

Let $\mathcal C$ be a small category with cofibrations. In this paper, we define the $K$-theory and Hochschild homology groups of $\mathcal C$ of order $Y$, where $Y$ is an ordered finite simplicial set with basepoint. Further, we construct…

Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that…

We use cross ratios to describe second real continuous bounded cohomology for locally compact topological groups. We also derive a rigidity result for cocycles with values in the isometry group of a proper hyperbolic geodesic metric space.

A multicategory is what remains of a monoidal category when monoidal product is not available. A weak multicategory means that hom-sets are in fact categories, and in place of usual equations, there are natural isomorphisms, which have to…

Let $A$ be a H\"older continuous cocycle over a hyperbolic dynamical system with values in the group of diffeomorphisms of a compact manifold $M$. We consider the periodic data of $A$, i.e., the set of its return values along the periodic…

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…

The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be…

For a compact Lie group G we show that if the representing spectrum for Borel cohomology generates its category of modules if G is connected. For a closed subgroup H of G we consider the map C^*(BG)--->C^*(BH) and establish the sense in…

We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…

We show the isomorphism between the Quillen cohomology and the Baues-Wirsching cohomology of a cartesian closed category (CCC). This is an extension of the results of Dwyer-Kan for small categories and Jibladze-Pirashvili for small…

For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological…

We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about \'etale…

In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…

In this paper, we define the notion of closed models defined by counting, and we compute their homotopy categories. We apply this construction to various categories of graphs. We show that there does not exist a closed model in the category…