It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.2K
- Applied Category Theory Course 343
- Applied Category Theory Exercises 149
- Applied Category Theory Discussion Groups 48
- Applied Category Theory Formula Examples 15
- Chat 475
- Azimuth Code Project 107
- News and Information 145
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708
- - Latest Changes 700
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 20
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 38

Options

in Chat

I am a programmer, or, what I sometimes call a "data plumber". I started college thinking I'd study mathematics, but was drawn into a philosophy degree instead. I've maintained a strong interest in mathematics broadly as well as run local discussion groups to keep fresh.

I am especially looking forward to what *Seven Sketches* will say about databases and signal flows.

## Comments

Hi! I think you'll find that category theory is deeply philosophical... if you want to think about it that way. It introduces a world-view that goes way beyond the old set-theoretic foundations of mathematics. Even you're now a programmer, you might enjoy

Categories for the Working Philosopher. Many of the individual chapters can be found free online.`Hi! I think you'll find that category theory is deeply philosophical... if you want to think about it that way. It introduces a world-view that goes way beyond the old set-theoretic foundations of mathematics. Even you're now a programmer, you might enjoy _[Categories for the Working Philosopher](https://global.oup.com/academic/product/categories-for-the-working-philosopher-9780198748991)_. Many of the individual chapters can be found free online.`

woof, that's quite a price tag, must be why I haven't gotten my hands on it yet. Looking at the TOC, the essays seem

veryinteresting. Thanks!`woof, that's quite a price tag, must be why I haven't gotten my hands on it yet. Looking at the TOC, the essays seem _very_ interesting. Thanks!`

I've found an affordable copy of

Categories for the Working Philosopheron Amazon. Thank you again for the suggestion; I should be in a better place to get more from the volume after following along with this course the past couple weeks.`I've found an affordable copy of _Categories for the Working Philosopher_ on Amazon. Thank you again for the suggestion; I should be in a better place to get more from the volume after following along with this course the past couple weeks.`

Welcome Jared!

Other book that I've found likable is this:

The idea of symmetry has influenced the development of physics decisively, and in mathematics Klein's Erlangen program has shown its power of organization of different areas of Geometry. Marquis starts the book investigating how Categories can be a generalization of groups and help to formulate an extended Klein program.

The book is enriched by historical exposition and particular attention is given to the introduction of adjoints. Chapter 5 on adjoints tackles the same theme of our last lecture, 17, both for posets and for general categories.

On the other hand I'm sure you are not going to be dissapointed by the categorical rendering of databases and data-flows. I also do software, and was working in a boring data importer for a mysql DB and somehow I ended in an slide deck from Spivak, had a sudden click!-moment, and thought: this is it.

`Welcome Jared! Other book that I've found likable is this: > "From a Geometrical Point of View. A Study of the History and Philosophy of Category Theory" by Jean-Pierre Marquis. ISBN 978-1-4020-9383-8. The idea of symmetry has influenced the development of physics decisively, and in mathematics Klein's Erlangen program has shown its power of organization of different areas of Geometry. Marquis starts the book investigating how Categories can be a generalization of groups and help to formulate an extended Klein program. The book is enriched by historical exposition and particular attention is given to the introduction of adjoints. Chapter 5 on adjoints tackles the same theme of our last lecture, 17, both for posets and for general categories. On the other hand I'm sure you are not going to be dissapointed by the categorical rendering of databases and data-flows. I also do software, and was working in a boring data importer for a mysql DB and somehow I ended in an slide deck from Spivak, had a sudden click!-moment, and thought: this is it.`

I feel you, Jesus. I have a mysql DB importer that I've got on the docket, and I'm not particularly enthusiastic about the task.

I am looking forward to the databases and data-flows portions of the book. I understand these to be Spivak's specialty?

`I feel you, Jesus. I have a mysql DB importer that I've got on the docket, and I'm not particularly enthusiastic about the task. I am looking forward to the databases and data-flows portions of the book. I understand these to be Spivak's specialty?`

:-) Yes, Spivak uses the Grothendiek construction to evidence the relation among tuples (table rows) and the database schema, for one thing, and also to relate RDF a-box triples to a (t-box) ontology. Independently there is an interesting tutorial of Michael Robinson I'm reading just now using sheaf theory on finite simplicial complexes in applied scenarios of data or sensor readings integration and would love to relate both views.

`:-) Yes, Spivak uses the Grothendiek construction to evidence the relation among tuples (table rows) and the database schema, for one thing, and also to relate RDF a-box triples to a (t-box) ontology. Independently there is an interesting [tutorial](http://www.drmichaelrobinson.net/sheaftutorial/index.html) of Michael Robinson I'm reading just now using sheaf theory on finite simplicial complexes in applied scenarios of data or sensor readings integration and would love to relate both views.`