Concepedia
Proceedings of the National Academy of Sciences · 1963 · 1.1K citations · 0 references
Open access
Natural SciencesComputer ScienceMathematicsAlgebraLogicSemanticsAlgebraic StructuresAlgebraic TopologyCategory TheoryFormal Language FoundationsFormal SemanticsModel TheoryAlgebraic SemanticsCategory-theoretic FoundationsFunctors