# Category Archives: Cybernetics

## Differential Logic • Discussion 12

Re: Category Theory • John Baez (1) (2) JB: One thing I’m interested in is functorially relating purely qualitative models to quantitative ones, or mixed quantitative-qualitative models where you have some numerical information of the sort you describe, but not … Continue reading

## Inquiry Driven Systems • Discussion 4

Re: Category Theory • Eduardo Ochs EO: Do you have links on how to teach Logical Graphs to children (and to people like me!) and how to use them as a basis for learning Propositional Calculus and quantifiers? Dear Eduardo, … Continue reading

## Inquiry Driven Systems • Discussion 3

Re: Category Theory • Henry Story HS: Could one re-invent the whole curriculum from age 5 onwards built on new [category theoretic] concepts? If I were starting from scratch, and I’m always starting from scratch, I would ease my way … Continue reading

## Inquiry Driven Systems • Discussion 2

Re: Category Theory • Henry Story Way back in the Summer of Love I met a girl who had just graduated in Chemistry and was thinking about grad school in Education, the hot new field of Instructional Media, we got … Continue reading

## Differential Logic • Discussion 11

Re: Differential Logic • Discussion 9 Let’s look more closely at the “functor” from to and the connection it makes between real and boolean hierarchies of types.  There’s a detailed discussion of this analogy in the article and section linked … Continue reading

## Inquiry Driven Systems • Discussion 1

Re: Topos Lab • MathFoldr Project Re: Category Theory • Valeria de Paiva Dear Brendan and Valeria, I’ve been a participant∫observer in web-ontology knowledge projects for a couple of decades and they always give far more attention to knowledge as … Continue reading

## Differential Logic • Discussion 10

Re: Laws of Form • Lyle Anderson Let’s say we’re observing a system at discrete intervals of time and testing whether its state satisfies or falsifies a given predicate or proposition at each moment.  Then and are two state variables … Continue reading

## Differential Logic • Discussion 9

Re: Laws of Form • Lyle Anderson LA: All I am asking is what is your definition of in relation to ‌.  So far I have is what one has to do to get from to or from to ‌.  … Continue reading

## Differential Logic • Discussion 8

Re: Laws of Form • Lyle Anderson A Reader inquired about the relationship between ordinary and differential boolean variables.  I thought it might help to explain how I first came to think about differential logic as a means of describing … Continue reading

## Differential Logic • Comment 6

Cf: Category Theory • Jon Awbrey I opened a topic in the “logic” stream of “category theory.zulipchat” to discuss differential logic in a category theoretic environment and began by linking a few basic resources. The topic on logical graphs introduced … Continue reading