相关论文: Cohomology of Small Cartesian Closed Categories

We prove that for a bifibration P between small categories, the lenght of the cup product in the kernel of the induced morphism in the Baues-Wirsching cohomology with coefficients in any natural system is a lower bound for the homotopic…

This paper aims to answer the following question: Given an adjunction between two categories, how is Quillen (co)homology in one category related to that in the other? We identify the induced comparison diagram, giving necessary and…

Let $C_\bullet$ be a simplicial object in the category $Cat$ of small categories. For a field $k$, taking the Grothendieck groups of isomorphism classes of $kC_n$-modules gives rise to a cochain complex, whose cohomology, which we refer to…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…

In this paper we show that the Baues-Wirsching complex used to define cohomology of categories is a 2-functor from a certain 2-category of natural systems of abelian groups to the 2-category of chain complexes, chain homomorphism and…

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized…

We show that the cohomology groups usually associated with racks and quandles agree with the Quillen cohomology groups for the algebraic theories of racks and quandles, respectively. We also explain how this makes available the entire range…

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…

The Baues--Wirsching cohomology is one of the cohomologies of a small category. Our aim is to describe the first Baues--Wirsching cohomology of the small category generated by a finite quiver freely. We consider the case where the…

Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant…

We prove that the category of c-spaces with continuous maps is not cartesian closed. As a corollary the category of locally finitary compact spaces with continuous maps is also not cartesian closed.

Coclass theory can be used to define infinite families of finite p-groups of a fixed coclass. It is conjectured that the groups in one of these infinite families all have isomorphic mod-p cohomology rings. Here we prove that almost all…

A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact…

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

We consider cohomology of small categories with coefficients in a natural system in the sense of Baues and Wirsching. For any funtor L: K -> CAT, we construct a spectral sequence abutting to the cohomology of the Grothendieck construction…

We extend a construction of Hinich to obtain a closed model category structure on all differential graded cocommutative coalgebras over an algebraically closed field of characteristic zero. We further show that the Koszul duality between…

We study the Kac cohomology for matched pairs of locally compact groups. This cohomology theory arises from the extension theory of locally compact quantum groups. We prove a topological version of the Kac exact sequence and provide methods…

The paper is concerned with cohomology of the small quantum group at a root of unity, and of its upper triangular subalgebra, with coefficients in a tilting module. We relate it to a certain t-structure on the derived category of…