2021-04-01 21:20:22 +03:00
|
|
|
Invertible
|
|
|
|
invertible
|
2021-04-01 21:00:56 +03:00
|
|
|
coproduct
|
2021-04-01 21:20:22 +03:00
|
|
|
Coproduct
|
2021-04-01 21:00:56 +03:00
|
|
|
morphism
|
2023-03-15 22:25:20 +03:00
|
|
|
morphism.
|
2021-10-21 16:46:26 +03:00
|
|
|
Morphism
|
2021-04-01 21:00:56 +03:00
|
|
|
coproducts
|
2021-07-28 16:00:22 +03:00
|
|
|
morphism
|
2021-04-01 21:00:56 +03:00
|
|
|
morphisms
|
2021-10-21 16:46:26 +03:00
|
|
|
morphism's
|
2021-04-01 21:00:56 +03:00
|
|
|
preorders
|
|
|
|
Preorders
|
|
|
|
antisymmetry
|
|
|
|
antisymmetric
|
|
|
|
preorder
|
|
|
|
Preorder
|
|
|
|
semilattice
|
|
|
|
Semilattice
|
|
|
|
semilattices
|
|
|
|
Semilattices
|
2021-12-25 19:31:58 +03:00
|
|
|
semigroup
|
2021-04-01 21:00:56 +03:00
|
|
|
meet-semilattice
|
|
|
|
meet-semilattices
|
|
|
|
poset
|
|
|
|
posets
|
|
|
|
Posets
|
|
|
|
Birkhoff's
|
|
|
|
superset
|
|
|
|
monoid
|
|
|
|
monoid-like
|
|
|
|
monoids
|
|
|
|
monoidal
|
|
|
|
monoid's
|
|
|
|
Monoid
|
|
|
|
Monoids
|
|
|
|
isomorphism
|
|
|
|
isomorphisms
|
2021-04-01 21:20:22 +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-09-24 20:32:46 +03:00
|
|
|
<<<<<<< HEAD
|
2021-04-01 21:20:22 +03:00
|
|
|
codomain
|
|
|
|
Euclidian
|
|
|
|
subtypes
|
|
|
|
Immanuel
|
|
|
|
iff
|
|
|
|
concatenative
|
|
|
|
structs
|
|
|
|
getter
|
|
|
|
OOP
|
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
|
2021-12-25 19:31:58 +03:00
|
|
|
curry
|
|
|
|
uncurry
|
|
|
|
adjunction
|
2021-08-18 18:28:14 +03:00
|
|
|
Lambek
|
|
|
|
cartesian
|
2021-11-15 19:15:20 +03:00
|
|
|
Functor
|
2021-08-23 21:49:47 +03:00
|
|
|
functor
|
2021-10-21 16:46:26 +03:00
|
|
|
functors
|
2023-03-15 22:25:20 +03:00
|
|
|
functors.
|
2021-10-21 16:46:26 +03:00
|
|
|
Functors
|
|
|
|
isomorphism
|
|
|
|
isomorphisms
|
|
|
|
Isomorphisms
|
|
|
|
homomorphism
|
|
|
|
endofunctors
|
2023-03-05 22:27:08 +03:00
|
|
|
endofunctor
|
2021-10-21 16:46:26 +03:00
|
|
|
const
|
|
|
|
Monoidal
|
|
|
|
morphisms
|
|
|
|
codomain
|
|
|
|
iff
|
2021-12-09 22:33:37 +03:00
|
|
|
proto-example
|
|
|
|
Immanuel
|
|
|
|
effectful
|
|
|
|
Zermelo-Fraenkel
|
|
|
|
idR
|
|
|
|
idG
|
|
|
|
subtype
|
|
|
|
bijective
|
|
|
|
Gottlob
|
|
|
|
Frege
|
|
|
|
René
|
|
|
|
Kazimierz
|
|
|
|
Kuratowski
|
|
|
|
De
|
|
|
|
Ockham
|
|
|
|
Ockham's
|
2021-12-25 19:31:58 +03:00
|
|
|
Cayley's
|
2021-12-09 22:33:37 +03:00
|
|
|
supersets
|
|
|
|
Unix
|
|
|
|
Latinized
|
|
|
|
disjunction
|
2021-12-25 19:31:58 +03:00
|
|
|
prev
|
2021-12-09 22:33:37 +03:00
|
|
|
|
|
|
|
subseteq
|
|
|
|
varnothing
|
|
|
|
mathbb
|
|
|
|
infty
|
|
|
|
endif
|
|
|
|
vee
|
|
|
|
lor
|
2021-12-25 19:31:58 +03:00
|
|
|
pmod
|
|
|
|
cong
|
|
|
|
mathrm
|
|
|
|
S1
|
|
|
|
S2
|
|
|
|
S3
|
|
|
|
Lehrer
|
|
|
|
Pythagoreans
|
|
|
|
Dimitrina
|
|
|
|
Georgieva
|
2022-09-11 08:56:25 +03:00
|
|
|
functorial
|
|
|
|
monospaced
|
|
|
|
endofunctor
|
2023-03-05 22:27:08 +03:00
|
|
|
endofunctor
|
|
|
|
Endofunctors
|
|
|
|
Endofunctors
|
2022-09-11 08:56:25 +03:00
|
|
|
Homomorphism
|
2023-03-05 22:27:08 +03:00
|
|
|
homomorphisms
|
2022-09-11 08:56:25 +03:00
|
|
|
Hom
|
|
|
|
representable
|
|
|
|
Ord
|
|
|
|
maths
|
|
|
|
featureful
|
|
|
|
Adjunction
|
|
|
|
adjunctions
|
|
|
|
homorphism
|
|
|
|
homorphisms
|
|
|
|
morphisms.
|
|
|
|
Adjoint
|
2023-03-05 22:27:08 +03:00
|
|
|
Peirce
|
|
|
|
Umberto
|
|
|
|
signifier
|
|
|
|
TODO
|
2023-03-15 22:25:20 +03:00
|
|
|
operandi
|
|
|
|
mathy
|
2023-06-08 11:48:45 +03:00
|
|
|
Tanenbaum
|