1|category in nLab
If we equip the category of ( − 1 ) (-1) -categories with the monoidal structure of conjunction (the logical AND operation), then a category ...
A category is a combinatorial model for a directed space – a “directed homotopy 1-type” in some sense. It has “points”, called objects, and also ...
A 1 1 -category is an ∞ \infty -category such that every 2-morphism is an equivalence and all parallel pairs of j-morphisms are equivalent for j ≥ 2 j \geq 2.
category object in an (infinity,1) - nLab
Enriched categories as internal categories. The 1-categorical notion of enriched category is similar to that of internal category, a main ...
According to the general pattern on (n,r)-category, an ( ∞ , 1 ) (\infty,1) -category is a (weak) ∞-category in which all n n -morphisms for n ≥ ...
For example, in the category theory-literature the singleton set is often denoted 1 1 . Categorifying horizontally instead, any identity ...
stable (infinity,1)-category in nLab
A connection between the terms is that the stable (∞,1)-category of spectra is the prototypical stable ∞ \infty -category, while connective ...
The nLab - the (n-)category as a "grand narrative" in mathematics ...
For example, in the category Set, any function is a morphism. In the category Top of topological spaces, all continuous functions are morphisms, ...
higher category theory - Posets as (0,1) - MathOverflow
Also the meaning you ascribe / assume is not quite that in the n-lab: "An (n,1)-category is an (∞,1)-category such that every hom ∞-groupoid is ...
2. Definition. An ( n , 1 ) (n,1) -category, is an n n -category C C that is locally ( n − 1 ) (n-1) -groupoidal; that is, for any objects x x ...
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 ...
Do Wikipedia, nLab and several books give a wrong definition of ...
56 (“The terminal object is the object with one and only one morphism coming to it from any object in the category.”) in referring to that ...
Is nLab a good source? : r/math - Reddit
It presents category theory from what is a pretty mainstream point of view amongst category theorists. If the OP were trying to use the nlab to ...
nLab - More General Discussion | The n-Category Café
Re: naming categories, I think it is a good rule to name ( n n -)categories after their objects (0-cells) when the morphisms (1-cells) in the ...
What is the minimum required background to understand articles in ...
The nlab is a convenient (and probably the best) online reference for basic and advanced notions of category theory.
category theory in nLab - Unicist News
category theory in nLab ... The unicist theory applied to the evolution of “things” is homologous with the category theory in mathematics. https ...
Following the general concept of ( n , r ) (n,r) -category, a ( 0 , 1 ) (0,1) -category is a category whose hom-objects are (-1)-groupoids, ...
What non-categorical applications are there of homotopical algebra?
... nLab.) More and more lately I have been ... category is equivalent to the category of chain complexes concentrated in nonnegative degree.
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 ...
nLab -- General Discussion | The n-Category Café - Welcome
However, since currently the content and points of view of “(-1)-category,” “(-1)-groupoid,” and “0-poset” are very very similar, I would be in ...