170 lines
1.8 KiB
Plaintext
170 lines
1.8 KiB
Plaintext
personal_ws-1.1 en 0 utf-8
|
|
adjoint
|
|
antisymmetric
|
|
applicative
|
|
arity
|
|
automata
|
|
axiomatized
|
|
bijection
|
|
bijection
|
|
bijectively
|
|
bisimilar
|
|
bisimilarity
|
|
bisimulation
|
|
bisimulations
|
|
bismilarity
|
|
Borel
|
|
coalgebra
|
|
coalgebraic
|
|
coalgebras
|
|
cocomplete
|
|
cocone
|
|
codensity
|
|
codiagonal
|
|
codirected
|
|
codomain
|
|
coequalizer
|
|
coequalizers
|
|
coequalizes
|
|
coinduction
|
|
colimit
|
|
combinator
|
|
combinators
|
|
combinatory
|
|
composable
|
|
compositional
|
|
compositionality
|
|
contravariant
|
|
copairing
|
|
copoint
|
|
coproducts
|
|
coreflection
|
|
coreflective
|
|
coreflector
|
|
coreflects
|
|
cospan
|
|
cospans
|
|
difunctional
|
|
dinatural
|
|
dinaturality
|
|
directedness
|
|
effectful
|
|
Elgot
|
|
embeddings
|
|
endofunction
|
|
endofunctor
|
|
endofunctors
|
|
endorelation
|
|
endorelations
|
|
Esik
|
|
factorizations
|
|
fiber
|
|
fibers
|
|
fibration
|
|
fibred
|
|
finitary
|
|
fixpoint
|
|
functorial
|
|
functoriality
|
|
functors
|
|
homomorphism
|
|
homomorphisms
|
|
hybridness
|
|
idempotence
|
|
iff
|
|
inequivalent
|
|
infima
|
|
infimum
|
|
initiality
|
|
injective
|
|
intuitionistic
|
|
invertible
|
|
isometry
|
|
Kantorovich
|
|
Kleisli
|
|
Knaster
|
|
Kozen
|
|
Kripke
|
|
Lawvere
|
|
liftings
|
|
logics
|
|
Moggi
|
|
monads
|
|
monic
|
|
monocone
|
|
monoid
|
|
monoids
|
|
monomorphism
|
|
monomorphisms
|
|
monotonicity
|
|
morphism
|
|
morphisms
|
|
natively
|
|
naturality
|
|
neighbourhood
|
|
nonexpansive
|
|
nonstrict
|
|
nontermination
|
|
nullary
|
|
paraconsistent
|
|
parametrize
|
|
parametrized
|
|
pointful
|
|
pointwise
|
|
postcompose
|
|
postcomposition
|
|
powerset
|
|
precomposed
|
|
preimages
|
|
preorder
|
|
preordered
|
|
preorders
|
|
probabilistically
|
|
pseudometric
|
|
pushout
|
|
quantale
|
|
quantales
|
|
quantalic
|
|
quantatitive
|
|
refinable
|
|
representable
|
|
semilattices
|
|
semiring
|
|
statefullness
|
|
subfunctor
|
|
subintervals
|
|
subobject
|
|
subspaces
|
|
summand
|
|
suprema
|
|
supremum
|
|
surjections
|
|
surjective
|
|
symmetrization
|
|
throughout
|
|
ultrametric
|
|
ultrametrics
|
|
unary
|
|
untyped
|
|
Yoneda
|
|
distributivity
|
|
expressibility
|
|
analyzed
|
|
bijective
|
|
equational
|
|
bijectivity
|
|
componentwise
|
|
hyperplane
|
|
hyperplanes
|
|
parallelepiped
|
|
injectivity
|
|
invertibility
|
|
isomorphisms
|
|
notational
|
|
summands
|
|
notational
|
|
surjectivity
|
|
diagonalization
|
|
superset
|
|
parameterization
|
|
standardly |