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 Tanenbaum