An introduction to 2-categories is given by illustrating how the structure of typed lambda calculus may naturally be viewed as a 2-category. In this vein, the ...
Modelling Computations: A 2-Categorical Framework · R. Seely · Published in Logic in Computer Science 1987 · Mathematics, Computer Science.
The equational presentation of the finitary many-sorted algebraic theories of Bénabou gives rise to what we have called Bénabou algebras. And the Bénabou ...
Mar 5, 2024 · We consider the equivalence between the two main categorical models for the type-theoretical operation of context comprehension.
A 2-categorical framework for the syntax and semantics of many-sorted equational logic. January 2010; Reports on Mathematical Logic 45. Authors: Juan Climent ...
Missing: Modelling Computations:
Sep 19, 2024 · 2-type theory has semantics in 2-categories. In particular, a 2-type theory can have semantics in the 2-category Cat, which would mean that contexts and closed ...
In this paper, we show how to encode an instance of a familiar stock-flow diagram— namely, the Susceptible-Exposure-Infectious-Recovered or “SEIR” model with an.
Sep 20, 2010 · A 2-Categorical Framework for the Syntax and Semantics of Many-Sorted Equational Logic ; Authors. Juan Climent Vidal · Juan Soliveres Tur.
Missing: Modelling | Show results with:Modelling
Computational category theory, including but not limited to computer algebra for categories, is an emerging area. Here are a few lists of software and systems ...
May 19, 2023 · On 2-type theory: R.A.G. Seely, Modeling computations: a 2-categorical framework, LICS 1987 (pdf). Introducing differential categories: R. F. ...
Missing: Modelling | Show results with:Modelling