# MODELING STABLE ONE-TYPES

@article{Johnson2012MODELINGSO, title={MODELING STABLE ONE-TYPES}, author={Niles Johnson and Ang'elica M. Osorno}, journal={arXiv: Algebraic Topology}, year={2012} }

Classication of homotopy n-types has focused on developing algebraic categories which are equivalent to categories of n-types. We expand this theory by providing algebraic models of homotopy-theoretic constructions for stable one-types. These include a model for the Postnikov one-truncation of the sphere spectrum, and for its action on the model of a stable one-type. We show that a bicategorical cokernel introduced by Vitale models the cober of a map between stable one-types, and apply this to… CONTINUE READING

#### Paper Mentions

#### Citations

##### Publications citing this paper.

SHOWING 1-10 OF 24 CITATIONS

## Higher Groups in Homotopy Type Theory

VIEW 1 EXCERPT

CITES BACKGROUND

### FILTER CITATIONS BY YEAR

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 31 REFERENCES

## The geometry of iterated loop spaces

VIEW 1 EXCERPT