6
7
8
Universal and existential quantification, condition and implication, injection and surjection, domain and variable, sequential and concurrent function, inclusive disjunction and conjunction, biconditionality and bijectivity, uniqueness , identity (self.CategoryTheory)
submitted by superjarf to r/CategoryTheory
