Functional Pearl: F for Functor
<p> <b>Teacher:</b> Last week I held a tutorial series with my students on the concept of a functor, with the purpose of taking a fresh look from a few angles they hadn’t considered before. </p> <p> <b>Lisa:</b> We started gently, but soon built up a heady t...
| Main Authors: | , , |
|---|---|
| Format: | Record |
| Published: |
2012
|
| _version_ | 1797090139661402112 |
|---|---|
| author | Hinze, R Hackett, J James, D |
| author_facet | Hinze, R Hackett, J James, D |
| author_sort | Hinze, R |
| collection | OXFORD |
| description | <p> <b>Teacher:</b> Last week I held a tutorial series with my students on the concept of a functor, with the purpose of taking a fresh look from a few angles they hadn’t considered before. </p> <p> <b>Lisa:</b> We started gently, but soon built up a heady tower of abstraction, freely wielding the force of functoriality. </p> <p> <b>Harry:</b> For a newcomer to category theory, I can’t believe how much I learnt. And we were having so much fun, we even continued on into the weekend! </p> <p> <b>Teacher:</b> Yes, to finish off our week we looked at how we might describe the <i>printf</i> function in terms of monoidal functors. </p> |
| first_indexed | 2024-03-07T03:14:13Z |
| format | Record |
| id | oxford-uuid:b53c326e-6e2f-43a9-b443-7617e0c98709 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:14:13Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | oxford-uuid:b53c326e-6e2f-43a9-b443-7617e0c987092022-03-27T04:31:57ZFunctional Pearl: F for FunctorRecordhttp://purl.org/coar/resource_type/c_1843uuid:b53c326e-6e2f-43a9-b443-7617e0c98709Department of Computer Science2012Hinze, RHackett, JJames, D<p> <b>Teacher:</b> Last week I held a tutorial series with my students on the concept of a functor, with the purpose of taking a fresh look from a few angles they hadn’t considered before. </p> <p> <b>Lisa:</b> We started gently, but soon built up a heady tower of abstraction, freely wielding the force of functoriality. </p> <p> <b>Harry:</b> For a newcomer to category theory, I can’t believe how much I learnt. And we were having so much fun, we even continued on into the weekend! </p> <p> <b>Teacher:</b> Yes, to finish off our week we looked at how we might describe the <i>printf</i> function in terms of monoidal functors. </p> |
| spellingShingle | Hinze, R Hackett, J James, D Functional Pearl: F for Functor |
| title | Functional Pearl: F for Functor |
| title_full | Functional Pearl: F for Functor |
| title_fullStr | Functional Pearl: F for Functor |
| title_full_unstemmed | Functional Pearl: F for Functor |
| title_short | Functional Pearl: F for Functor |
| title_sort | functional pearl f for functor |
| work_keys_str_mv | AT hinzer functionalpearlfforfunctor AT hackettj functionalpearlfforfunctor AT jamesd functionalpearlfforfunctor |