FiniteCategories-0.2.0.0: Finite categories and usual categorical constructions on them. (Index - L)

FiniteCategories-0.2.0.0: Finite categories and usual categorical constructions on them.

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Y
<
=
@
|
-
All

Index - L

labelArrow	Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All
law	Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All
lawS	Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All
leftAdjoint	Math.Functors.Adjunction, Math.Functors, Math.FiniteCategories.All
leftDiagram	Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
leftKan	Math.Functors.KanExtension, Math.Functors, Math.FiniteCategories.All
leftKanSetValued	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
leftWhiskering	Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
legsCocone	Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
legsCone	Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All
LimitObject	Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All
limits	Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All