Searching for "Functors and Natural Transformations." – sorted by Relevance.
209 documents found, showing 1 through 10.
Next 10 →
-
unknown title
- …, structural congruence “Holes”, terms, rewriting Categories, functors, natural transformations Spaces, maps…
- Add To MetaCart
-
Category Theory Applied to Neural Modeling and Graphical Representations
- … of cognitive neural systems. Here, we employ colimits, functors and natural transformations to model…
- Cited by 1 (0 self) – Add To MetaCart
-
This is a collation of the operative parts of a proposal submitted to the NSF concerning
- … and Mac Lane introduced categories, functors, and natural transformations in their 1945 paper [47…
- Add To MetaCart
-
Automating Proofs in Category Theory
- … properties of categories, functors and natural transformations as well as a small set of proof tactics…
- Cited by 1 (0 self) – Add To MetaCart
-
Covariant Types
- … on the categorical notions of functor and natural transformation. Keywords covariant types, polymorphism…
- Cited by 3 (2 self) – Add To MetaCart
-
A Categorical Manifesto
- … Example 2.7 defines programs as functors, we expect program homomorphisms to be natural transformations…
- Cited by 88 (5 self) – Add To MetaCart
-
Rewriting Techniques applied to Basic Category Theory
- …. These are categories themselves, functors, and natural transformations. The appendix explains the methods used to prove…
- Cited by 2 (1 self) – Add To MetaCart
-
Logical Relations and Inductive/coinductive Types
- …, that the representable functors and natural transformations have the expected properties. Finally we apply the theory…
- Cited by 17 (4 self) – Add To MetaCart
-
On The Monadicity Of Categories With Chosen Colimits
- …, and natural transformations. The evident forgetful 2-functor from J-Colim to the 2-category Cat of small…
- Cited by 1 (1 self) – Add To MetaCart
-
A Fresh Look at Parametric Polymorphism: Covariant Types
- … functors of mixed variance. Similarly, terms can be interpreted by natural transformations, rather than…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
