Search Results

K-projectivity of a complex is a property of its homotopy equivalence class, i.e., any complex homotopy equivalent to a K-projective complex is K-projective. In particular, any contractible complex i …

Let $P\to M$ be a projective resolution of $M$ and $M\to J$ be an injective resolution. Consider the composition of the morphisms of complexes $P\to M\to J$ and set $C$ to be the cone of the morphism …

There is a textbook theorem that the categories of unipotent algebraic groups and nilpotent finite-dimensional Lie algebras are equivalent in characteristic zero. Indeed, the exponential map is an al …

Profinite sets are just another name for compact totally disconnected topological spaces. I think this is (essentially) explained somewhere in Bourbaki's books on general topology.

It is well-known that any ideal in a Dedekind domain can be generated by at most two elements. However, already for Noetherian domains of dimension 2, it is easy to construct examples of ideals that …

The obvious implication is (i) $\Longrightarrow$ (ii), of course. Indeed, the class of all $c\in C$ not satisfying (ii) is precisely the full triangulated subcategory of objects right orthogonal to t …

Let $J^\bullet$ be an acyclic complex of injective objects in an abelian category $\mathcal A$. Consider its finite subquotient complexes of canonical truncation $0\to Z^m\to J^m\to J^{m+1}\to \dotsb …

Well, yes. Imagine that you have an algebra $A$ over $\mathbb{C}$ and you want to find out whether it is $\mathbb{C}[F_2]$ or $\mathbb{C}[F_3]$. Pick any one-dimensional $A$-module $M$ and compute $ …

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary c …

What you call "pro-unipotent coalgebras" are called "pointed irreducible coalgebras" in classical M.E. Sweedler's book "Hopf algebras" (W.A. Benjamin, New York, 1969), Section 8.0. I call them "conilp …

Given an abelian group $A$ with a fixed element $e\in A$, you can construct the universal map $f$ from $A$ to a (commutative or noncommutative, as you prefer) ring $R=R(A,e)$ such $f(e)$ is the unit e …

What the references are saying is correct, and you are right. Yes, $\Omega BA \to A$ is always a quasi-isomorphism. No, $\Omega$ does not in general take quasi-isomorphisms to quasi-isomorphisms. A …

This question is a reference request for the following result or two results, which I believe are rather easy to prove. Lemma. Let $\mathcal K$ be a locally presentable category and $\mathcal A\subs …

Firstly, for any Quillen exact category $\mathcal E$, one can define the derived category $D(\mathcal E)$, as well as its bounded versions $D^+(\mathcal E)$, $D^-(\mathcal E)$, and $D^b(\mathcal E)$. …

Let $A_1\leftarrow A_2\leftarrow A_3\leftarrow\dotsb$ be a projective system of abelian groups with the projection maps $p_{ij}\colon A_j\to A_i$, $j\ge i$. The derived functor of projective limit $\ …