2021-04-01 21:00:56 +03:00
|
|
|
coproduct
|
|
|
|
|
morphism
|
|
|
|
|
coproducts
|
2021-07-28 16:00:22 +03:00
|
|
|
morphism
|
2021-04-01 21:00:56 +03:00
|
|
|
morphisms
|
|
|
|
|
preorders
|
|
|
|
|
Preorders
|
|
|
|
|
antisymmetry
|
|
|
|
|
antisymmetric
|
|
|
|
|
preorder
|
|
|
|
|
Preorder
|
|
|
|
|
semilattice
|
|
|
|
|
Semilattice
|
|
|
|
|
semilattices
|
|
|
|
|
Semilattices
|
|
|
|
|
meet-semilattice
|
|
|
|
|
meet-semilattices
|
|
|
|
|
poset
|
|
|
|
|
posets
|
|
|
|
|
Posets
|
|
|
|
|
Birkhoff's
|
|
|
|
|
superset
|
|
|
|
|
monoid
|
|
|
|
|
monoid-like
|
|
|
|
|
monoids
|
|
|
|
|
monoidal
|
|
|
|
|
monoid's
|
|
|
|
|
Monoid
|
|
|
|
|
Monoids
|
|
|
|
|
isomorphism
|
|
|
|
|
isomorphisms
|
2021-08-23 21:49:47 +03:00
|
|
|
Isomorphisms
|
2021-04-01 21:00:56 +03:00
|
|
|
Hasse
|
|
|
|
|
Antisymmetry
|
|
|
|
|
connexity
|
|
|
|
|
linearly
|
|
|
|
|
Heyting
|
|
|
|
|
modus
|
|
|
|
|
Modus
|
|
|
|
|
ponens
|
|
|
|
|
intuitionistic
|
|
|
|
|
leit
|
|
|
|
|
Z3
|
|
|
|
|
Z2
|
|
|
|
|
Z1
|
|
|
|
|
abelian
|
|
|
|
|
Abelian
|
|
|
|
|
non-abelian
|
|
|
|
|
Dih3
|
|
|
|
|
composable
|
|
|
|
|
forall
|
2021-07-28 16:00:22 +03:00
|
|
|
BHK
|
|
|
|
|
yey
|
2021-08-23 15:30:20 +03:00
|
|
|
intuitionistic
|
2021-07-28 16:00:22 +03:00
|
|
|
intuinism
|
|
|
|
|
Brouwer
|
|
|
|
|
schemas
|
|
|
|
|
Nahas's
|
|
|
|
|
Coq
|
|
|
|
|
Kolmogorov
|
|
|
|
|
entailments
|
|
|
|
|
Logics
|
|
|
|
|
logics
|
|
|
|
|
bivalence
|
|
|
|
|
Zermelo
|
|
|
|
|
Fraenkel
|
|
|
|
|
distributivity
|
2021-08-18 18:28:14 +03:00
|
|
|
CTI
|
|
|
|
|
monads
|
|
|
|
|
monad
|
|
|
|
|
hom-set
|
|
|
|
|
Curry-Howard-Lambek
|
|
|
|
|
Curry-Howard
|
|
|
|
|
Lambek
|
|
|
|
|
cartesian
|
2021-08-23 21:49:47 +03:00
|
|
|
functor
|
|
|
|
|
functors
|
|
|
|
|
Functor
|
|
|
|
|
Functors
|
|
|
|
|
Endofunctors
|
|
|
|
|
invertible
|
