model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-stacks
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
A crossed group is a presheaf with additional symmetry given by a fiberwise group structure and actions on the morphisms of the underlying category.
For $S$ a small category, a crossed $S$-group is a presheaf $G : S^{op} \to Set$ equipped with
for each object $s \in S$ a group structure on $G_s$;
for all $s, r\in S$ a left $G_r$-action on the hom-set $S(s,r)$ ;
such that for all morphisms $\alpha : s \to r$ and $\beta : t \to s$ in $S$ and $g,h \in G_r$ we have
$g_*( \alpha \circ \beta) = g_*(\alpha) \circ \alpha^*(g)_* \beta$;
$g_* (id_r) = id_r$;
$\alpha^* (g \cdot h) = h_*(\alpha)^*(g)\cdot \alpha^*(h)$;
$\alpha^*(e_r) = e_s$;
where $g_*$, $h_*$ denotes the group action and
$\alpha^* : G_r \to G_s$ the presheaf map.
The total category $S G$ of an crossed $S$-group $G$ is the category with the same objects as $S$, and with morphisms $r \to s$ being pairs $(\alpha, g) \in S(s,r)\times G_r$ and with composition defined by
In case, $G$ is constant, i.e. $G_s=G$ and $\alpha^*(g)=g$ for all $s,\alpha \in S$, $S G$ reduces to the Grothendieck construction for the functor $G\to Cat$ that picks out $S$.
Let $\Omega_{pl}$ be the category of finite planar trees. Then the category $\Omega$ of non-planar finite rooted trees arises as the total category of an $\Omega_{pl}$-crossed group which to a planar tree $T$ assigns its group of non-planar automorphisms. This example is somewhat typical, since $\Omega_{pl}$ is a strict Reedy category where all automorphisms are trivial which gets enhanced with non-trivial symmetries to $\Omega$, now a generalized Reedy category (cf. below).
If $S$ is equipped with a generalized Reedy structure, then an $S$-crossed group $G$ is called compatible with that generalized Reedy structure if
the $G$-action respects $S^+$ and $S^-$;
if $\alpha : r \to s$ is in $S^-$ and $g \in G_s$ such that $\alpha^* (g) = e_r$ and $g_*(\alpha) = \alpha$, then $g = e_s$.
Let $S$ be a strict Reedy category and let $G$ be a compatible $S$-crossed group. Then there exists a unique dualizabe generalized Reedy structure on $S G$ for which the embedding $S \hookrightarrow S G$ is a morphism of generalized Reedy categories.
Michael Batanin, Martin Markl, Crossed interval groups and operations on the Hochschild cohomology, arXiv:0803.2249 (2008). (abstract)
Clemens Berger, Ieke Moerdijk, On an extension of the notion of Reedy category (2008) (arXiv:0809.3341)
Tobias Dyckerhoff, Mikhail Kapranov, Crossed simplicial groups and structured surfaces, arXiv:1403.5799 (2014). (abstract)
B. L. Feigin, B. L. Tsygan, Additive K-theory, pp.67-203 in LNM 1289 Springer Heidelberg 1986.
Zbigniew Fiedorowicz, Jean-Louis Loday, Crossed simplicial groups and their associated homology, Trans. AMS 326 (1991) 57-87 [doi:10.1090/S0002-9947-1991-0998125-4]
Samuel Isaacson, Symmetric cubical sets, Journal of Pure and Applied Algebra 215 (2011). (arXiv, doi:10.1016/j.jpaa.2010.08.001)
R. Krasauskas, Skew-simplicial groups, Lithuanian Math. J. 27 pp.47-54 (1987).
Jean-Louis Loday, Cyclic Homology, Springer Heidelberg 1998$^2$.
Walker H. Stern, Structured topological field theories via crossed simplicial groups, arXiv:1603.02614 (2016). (abstract)
Jun Yoshida, A general method to construct cube-like categories and applications to homotopy theory, arXiv:1502.07539. (abstract)
Jun Yoshida, Colimits and limits of crossed groups, arXiv:1802.06644 (2018). (abstract)
Last revised on April 28, 2024 at 14:44:14. See the history of this page for a list of all contributions to it.