Definition:Language of Category Theory

From ProofWiki
Jump to navigation Jump to search


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.


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