Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added to cartesian morphism
in the section for ordinary categories the definition in terms of pullbacks of over-categories
in the section on (oo,1)-categories more details on the definition and a very useful equivalent reformulation
tried to polish cartesian morphism. Also expanded a bit.
started a section "Examples and properties" at cartesian morphism
added a section on cartesian morphisms in sSet-categories
another simple lemma with proof spelled out in the Properties-section at Cartesian morphism
1 to 5 of 5