W*|category in nLab
2. Definition. A W*-category is a C*-category C C such that for any objects A , B ∈ C A,B\in C , the hom-object Hom ( A , B ) Hom(A,B) admits a ...
2. Definition · W \mathcal{W} -types in type theory · W \mathcal{W} -types in categories.
A category consists of a collection of things and binary relationships (or transitions) between them, such that these relationships can be ...
The category of elements of a functor F : C → F : \mathcal{C} \to Set is a category el ( F ) → C el(F) \to \mathcal{C} sitting over the domain category
The nLab espouses the "n-point of view" (a deliberate pun on Wikipedia's "neutral point of view") that type theory, homotopy theory, category theory, and higher ...
Is the reflective localization $L_WC$ of a category $C$ equivalent to ...
... nlab's entry on localization (http://ncatlab.org/nlab/show/localization). Let C be a category, let W∈Mor(C) be a collection of morphisms ...
But it is far from the case that all categories are of this type. Categories are much more versatile than these classical examples suggest.
The nLab - the (n-)category as a "grand narrative" in mathematics ...
"Higher category theory studies the generalization of ∞-groupoids – and hence, via the homotopy hypothesis, of topological spaces – to that of ...