Definition of Cocartesian. Meaning of Cocartesian. Synonyms of Cocartesian

- initial object is called a cocartesian monoidal category, and any finite coproduct category can be thought of as a cocartesian monoidal category. Cartesian...
- mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the colimit of a diagram consisting of...
- computing Pushout (category theory) (also called an amalgamated sum or a cocartesian square, fibered coproduct, or fibered sum), the colimit of a diagram...
- Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the...
- and the initial object as the unit. Such a monoidal category is called cocartesian monoidal R-Mod, the category of modules over a commutative ring R, is...
- 1 , i 2 ) {\displaystyle (Y\sqcup _{X}Y,i_{1},i_{2})} , which is the cocartesian of a morphism with itself over its domain, which will result in a pair...
- a left and right fibration. On the other hand, a left fibration is a coCartesian fibration and a right fibration a Cartesian fibration. In particular...
- π: C → D (e.g., a prestack over rings), a morphism f: x → y in C is π-coCartesian if, for each object z in C, each morphism g: x → z in C and each morphism...