Kind n' Single

Kind n' Single is an esolang created by User:Yayimhere based on Category theory

System

you can define a variable. it can be recursively defined. there is a single operator that takes a single argument and a single one that takes two arguments:

\x returns the monad of x where the identity element is just empty, and the operator returns the id element (always) unless one of the arguments is the id element then it returns the original none id element
+x y returns a category that has both elements of x and y and a object that has a morphism to all elements in the category

there are these constanats:

v is a category with two elements that both morphism to each other(two way)
o empty category

to define a variable:

x = y

and this is a comment:

/* comment */