combinatorial category in nLab
For bare categories (discrete geometry); For Lie groupoids · As a weak colimit over a constant 2 Vect 2Vect -valued functor; In terms of ...
The presheaves on the permutation groupoid are also known as combinatorial species. 2. Related concept. FinSet · symmetric group · combinatorial ...
monoidal model category in nLab
In particular, its homotopy category inherits a closed monoidal structure, as does the (infinity,1)-category that it presents. 2. Definition.
Contents · Modules over a monoid in a monoidal category · Presheaves in enriched category theory · In terms of stabilized overcategories · Modules ...
In category theory ... where s s is some other object of the category. (The word “correspondence” is also sometimes used for a profunctor.) This diagram is also ...
The study of group presentations, their transformations etc. forms part of combinatorial group theory. 7. Presentations of monoids and other ...
The functor description makes it clear that the category of forests is a (presheaf) topos, indeed a Grothendieck topos; therefore the category ...
model structure on chain complexes in nLab
Chain complexes in non-negative degree in an abelian category A A are special in that they may be identified via the Dold-Kan correspondence as ...
... combinatorics complex complex-geometry computable-mathematics computer-science ... nLab > Latest Changes: category theory. Bottom of Page. 1 to 86 of 86.
Dugger's theorem identifies combinatorial model categories as the model category-presentations of locally presentable (infinity,1)-categories.
More generally, the computable map category of any PCA forms a Turing category, with Turing object the PCA and its Turing morphism being the ...
nForum - All Discussions - nLab
Site Tag Cloud. 2-category 2-category-theory abelian-categories adjoint ... combinatorics complex complex-geometry computable-mathematics computer ...
model category theory - contents in nLab
nLab model category theory - contents · weak factorization system · resolution · homotopy Kan extension · homotopy limit · monoidal enriched model ...
double category of model categories in nLab
to the double category of squares in the 2-category of categories, which forgets the model category-structure and the Quillen functor-property.
canonical model structure on groupoids in nLab
Since Grpd is a locally presentable category (for instance by this Prop, observing that groupoids are the models of a limit sketch, namely given ...
category of (infinity,1)-functors in nLab
C C be a small sSet-enriched category; · A A a combinatorial simplicial model category and · [ C , A ] [C,A] the sSet-enriched functor category ...
locally cartesian closed (infinity,1)-category in nLab
Presentations · C C is locally cartesian closed. · (∞,1)-Colimits in C C are stable under pullback. · C C admits a presentation by a combinatorial ...
The data of a plethory is also what is needed to represent a “natural operation” on the category of rings. For example Ring ( ℤ [ x ] , − ) ...
This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor. In this paper, we show that the ...
category of presheaves in nLab
Theorem 2.5. A category E E is equivalent to a presheaf topos if and only if it is cocomplete, well ...