mirror of
https://github.com/boris-marinov/category-theory-illustrated.git
synced 2024-08-17 06:40:21 +03:00
133 lines
1.2 KiB
Plaintext
133 lines
1.2 KiB
Plaintext
Invertible
|
|
invertible
|
|
coproduct
|
|
Coproduct
|
|
morphism
|
|
Morphism
|
|
coproducts
|
|
morphism
|
|
morphisms
|
|
morphism's
|
|
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
|
|
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
|
|
Lambek
|
|
cartesian
|
|
Functor
|
|
functor
|
|
functors
|
|
Functors
|
|
isomorphism
|
|
isomorphisms
|
|
Isomorphisms
|
|
homomorphism
|
|
endofunctors
|
|
const
|
|
Monoidal
|
|
morphisms
|
|
codomain
|
|
iff
|
|
proto-example
|
|
Immanuel
|
|
effectful
|
|
Zermelo-Fraenkel
|
|
idR
|
|
idG
|
|
subtype
|
|
bijective
|
|
Gottlob
|
|
Frege
|
|
René
|
|
Kazimierz
|
|
Kuratowski
|
|
De
|
|
Ockham
|
|
Ockham's
|
|
supersets
|
|
Unix
|
|
Latinized
|
|
disjunction
|
|
|
|
subseteq
|
|
varnothing
|
|
mathbb
|
|
infty
|
|
endif
|
|
vee
|
|
lor
|