personal_ws-1.1 en 0 utf-8
adjoint
antisymmetric
bisimilar
bisimilarity
Borel
coalgebra
coalgebraic
coalgebras
cocomplete
cocone
codensity
codirected
colimit
coproducts
coreflection
coreflective
coreflector
coreflects
directedness
embeddings
endofunction
endofunctor
fiber
fibration
fibred
finitary
fixpoint
functors
homomorphism
homomorphisms
idempotence
iff
inequivalent
infima
infimum
initiality
intuitionistic
isometry
Kantorovich
Knaster
Kripke
Lawvere
liftings
logics
monoid
monomorphisms
monotonicity
morphism
morphisms
natively
nonexpansive
nullary
paraconsistent
parametrize
parametrized
pointwise
powerset
preimages
preorder
preordered
preorders
probabilistically
pseudometric
pushout
quantale
quantales
quantalic
quantatitive
subfunctor
subintervals
subobject
subspaces
suprema
supremum
surjective
symmetrization
ultrametric
ultrametrics
unary
Yoneda
automata
axiomatized
codiagonal
copairing
effectful
Elgot
endofunctors
Esik
hybridness
Kozen
Moggi
monads
monoids
naturality
nonstrict
nontermination
semilattices
semiring
statefullness
applicative
arity
bijectively
bisimulation
bismilarity
coequalizer
coequalizers
coequalizes
coinduction
combinator
combinators
combinatory
compositional
compositionality
contravariant
copoint
dinatural
dinaturality
functoriality
Kleisli
monic
postcompose
postcomposition
precomposed
summand
untyped