- 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...
-
initial object is
called a
cocartesian monoidal category, and any
finite coproduct category can be
thought of as a
cocartesian monoidal category. Cartesian...
-
cartesian fibration is
called an op-fibration; in particular, not a
cocartesian fibration. A
right fibration between simplicial sets is an
example of...
-
Fibred categories (or
fibered categories) are
abstract entities in
mathematics used to
provide a
general framework for
descent theory. They
formalise the...
-
computing Pushout (category theory) (also
called an
amalgamated sum or a
cocartesian square,
fibered coproduct, or
fibered sum), the
colimit of a diagram...
- 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 {\displaystyle q:M\to \Delta ^{1}} that is both
cartesian and
cocartesian fibrations.
Since q {\displaystyle q} is a
cartesian fibration, by the...
- 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...
- π: 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...
