93 citations · 748 across the 47 of their papers we have counts for
12 papers · 1 filter
Ext groups in Homotopy Type Theory
J. Daniel Christensen, Jarl G. Taxerås Flaten
Ext groups are fundamental homological invariants which have important applications in homotopy theory and algebra. In particular, they appear in the classical universal coefficien…
Central H-spaces and banded types
Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten +1
We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own…
Non-accessible localizations
J. Daniel Christensen
In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor on the category of simplicial sets with the property that whether it can be expressed…
On good morphisms of exact triangles
J. Daniel Christensen, Martin Frankland
In a triangulated category, cofibre fill-ins always exist. Neeman showed that there is always at least one "good" fill-in, i.e., one whose mapping cone is exact. Verdier constructe…
The Hurewicz theorem in Homotopy Type Theory
J. Daniel Christensen, Luis Scoccola
We prove the Hurewicz theorem in homotopy type theory, i.e., that for a pointed, -connected type and an abelian group, there is a natural isomorphism $π…
Detecting isomorphisms in the homotopy category
Kevin Arlin, J. Daniel Christensen
We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric group…