dictionary.txt

Invertible
invertible
coproduct
Coproduct
morphism
morphism.
Morphism
coproducts
morphism
morphisms
morphism's
preorders
Preorders
antisymmetry
antisymmetric
preorder
Preorder
semilattice
Semilattice
semilattices
Semilattices
semigroup
meet-semilattice
meet-semilattices
poset
posets
Posets
Birkhoff's
superset
monoid
monoid-like
monoids
monoidal
monoid's
Monoid
Monoids
isomorphism
isomorphisms
Isomorphisms
Hasse
Antisymmetry
connexity
linearly
Heyting
modus
Modus
ponens
intuitionistic
leit
Z3
Z2
Z1
abelian
Abelian
non-abelian
Dih3
composable
forall
<<<<<<< HEAD
codomain
Euclidian
subtypes
Immanuel 
iff
concatenative
structs
getter
OOP
BHK
yey
intuitionistic
intuinism
Brouwer
schemas
Nahas's
Coq
Kolmogorov
entailments
Logics
logics
bivalence
Zermelo
Fraenkel
distributivity
CTI
monads
monad
hom-set
Curry-Howard-Lambek
Curry-Howard
curry
uncurry
adjunction
Lambek
cartesian
Functor
functor
functors
functors.
Functors
isomorphism
isomorphisms
Isomorphisms
homomorphism
endofunctors
endofunctor
const
Monoidal
morphisms
codomain
iff
proto-example
Immanuel
effectful
Zermelo-Fraenkel
idR
idG
subtype
bijective
Gottlob
Frege
René
Kazimierz
Kuratowski
De
Ockham
Ockham's
Cayley's
supersets
Unix
Latinized
disjunction
prev

subseteq
varnothing
mathbb
infty
endif
vee
lor
pmod
cong
mathrm
S1
S2
S3
Lehrer
Pythagoreans
Dimitrina
Georgieva
functorial
monospaced
endofunctor
endofunctor
Endofunctors
Endofunctors
Homomorphism
homomorphisms
Hom
representable
Ord
maths
featureful 
Adjunction
adjunctions
homorphism
homorphisms
morphisms.
Adjoint
Peirce
Umberto
signifier
TODO
operandi
mathy