Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories

Lawvere, F. W. (2004). Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories.

Type

Unclassified

Intellectual base

Unclassified

Year

2004

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Elementary theory of abstract categories
  • … between constitutive identity and a convenient observable transfers from Objects are represented by identity arrows, and an arrow's domain and codomain are those identities. to Foundational comparison distinguishes ETAC from stronger categorical set theories that assert enough objects for ordinary mathematics..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:bab8a2231220 · see in the full table