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