diff --git a/.aspell.en.pws b/.aspell.en.pws
new file mode 100644
index 0000000..0feb3f6
--- /dev/null
+++ b/.aspell.en.pws
@@ -0,0 +1,126 @@
+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