Select any concept, construction junction, or annotated relation by pointer, touch, search, or keyboard.

Construction junctions are diamonds. They show where multiple structures must coexist on the same carrier and satisfy compatibility conditions.

Canonical static concept record

Cosimplicial object

Open this concept in the interactive graph Read the Markdown equivalent

Summary

A covariant functor from the simplex category $\Delta$ to a category.

Record metadata

Canonical name: Cosimplicial object
Concept ID: cosimplicial_object
Content version: 2.3.0
Primary field: Mathematics
Fields: Mathematics
Primary domain: Category theory
Domains: Category theory, Homological algebra
Alternate terminology: No alternate terminology is currently authored for this record.

Carrier(s)

category $C$
objects $X^{n}$ of $C$ for $n\ge 0$

Data

coface and codegeneracy morphisms

Axioms / constraints

cosimplicial identities

Notes

Equivalently, a functor $\Delta\to C$ . The ambient category is part of the specification.

Concept sources

Stacks Project — Simplicial objects and chain complexes — Simplicial objects and chain complexes · reference · source ID stacks-simplicial-objects
nLab — Simplicial object — Simplicial object · reference · source ID nlab-simplicial-object
Wikipedia — Cosimplicial object — Cosimplicial object · expository · source ID wp-cosimplicial-object
Riehl — Category Theory in Context — Category Theory in Context · textbook · source ID riehl-category-context

Incoming relations (arrows to this concept)

Each relation below ends at this concept.

category + cosimplicial diagram data(construction junction)Cosimplicial object

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Relation ID: j_cosimplicial_object__out
Relation type: Combine compatible structures combine-compatible
Direction: source → target
Endpoint roles: source: Builds toward; target: Built from
Authored annotation: impose cosimplicial identities

Authored explanation

Every $X^{n}$ is an object of the same category $C$ ; add coface and codegeneracy morphisms in $C$ satisfying the cosimplicial identities.

How to interpret this relation type

Feed several structures into a construction junction and impose compatibility between them.

Relation sources

Stacks Project — Simplicial objects and chain complexes — Simplicial objects and chain complexes · reference · source ID stacks-simplicial-objects
nLab — Simplicial object — Simplicial object · reference · source ID nlab-simplicial-object
Wikipedia — Cosimplicial object — Cosimplicial object · expository · source ID wp-cosimplicial-object
Riehl — Category Theory in Context — Category Theory in Context · textbook · source ID riehl-category-context

Outgoing relations (arrows from this concept)

Each relation below starts at this concept.

No direct relations are authored in this direction.

Atlas of Fundamental Concepts

Select a concept

Move selected concept

Stories & Views

Compare concepts

Guide to the Atlas