Definition:Language of Category Theory

From ProofWiki
Jump to navigation Jump to search

Definition

The language of (morphisms-only) category theory is a specific instance of the language of predicate logic.

As such, it is considered to have:


All further descriptions required to determine a formal language are inherited from the definition of the language of predicate logic.


Remark



The definition as given here is for morphisms-only category theory, since having to distinguish between objects and morphisms would give rise to a very tedious and technical mess.


Also see


Sources