- 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...
-
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 , 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...
- a map that is both a left and
right fibration. A left
fibration is a
coCartesian fibration and a
right fibration a
Cartesian fibration. In particular...