FiniteCategories-0.1.0.0: Finite categories and usual categorical constructions on them. (Index - I)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Y
Z
!
&
@
|
All

Index - I

I	UsualCategories.Square
IdA
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Two
3 (Data Constructor)	UsualCategories.Three
4 (Data Constructor)	UsualCategories.Square
5 (Data Constructor)	UsualCategories.Parallel
6 (Data Constructor)	UsualCategories.Hat
IdB
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Two
3 (Data Constructor)	UsualCategories.Three
4 (Data Constructor)	UsualCategories.Square
5 (Data Constructor)	UsualCategories.Parallel
6 (Data Constructor)	UsualCategories.Hat
IdC
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Three
3 (Data Constructor)	UsualCategories.Square
4 (Data Constructor)	UsualCategories.Hat
IdD	UsualCategories.Square
IdentifyGenerator	CompositionGraph.CompositionGraph
identifyMorphisms	CompositionGraph.CompositionGraph
identifyMorphismsS	CompositionGraph.SafeCompositionGraph
identities	FiniteCategory.FiniteCategory
Identity	IO.Parsers.Lexer
identity	FiniteCategory.FiniteCategory
IdentityNotLeftNeutral	FiniteCategory.FiniteCategory
IdentityNotRightNeutral	FiniteCategory.FiniteCategory
idL	FiniteCategory.FiniteCategory
idR	FiniteCategory.FiniteCategory
idRof	FiniteCategory.FiniteCategory
includedIn	Set.FinSet
inclusionFunctor	ConeCategory.LeftCone
indexAr1	CommaCategory.CommaCategory
indexAr2	CommaCategory.CommaCategory
indexSrc	CommaCategory.CommaCategory
indexTgt	CommaCategory.CommaCategory
initialObjects	FiniteCategory.FiniteCategory, ConeCategory.ConeCategory
insertMorphism	CompositionGraph.CompositionGraph
InsertMorphismNonExistantSource	CompositionGraph.CompositionGraph
InsertMorphismNonExistantTarget	CompositionGraph.CompositionGraph
insertMorphismS	CompositionGraph.SafeCompositionGraph
insertObject	CompositionGraph.CompositionGraph
insertObjectS	CompositionGraph.SafeCompositionGraph
intersection	Set.FinSet
inverse	Utils.AssociationList
isComp	CompositionGraph.CompositionGraph
isComposite	FiniteCategory.FiniteCategory
isCompS	CompositionGraph.SafeCompositionGraph
isGen	CompositionGraph.CompositionGraph
isGenerator	FiniteCategory.FiniteCategory
isGenS	CompositionGraph.SafeCompositionGraph
isIdentity	FiniteCategory.FiniteCategory
isIn	Set.FinSet
isIncludedIn	Utils.SetList
isInitial	FiniteCategory.FiniteCategory
isNotIdentity	FiniteCategory.FiniteCategory
isTerminal	FiniteCategory.FiniteCategory