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 all of it.  That’s a situation we often find ourselves in:  having a mixture of quantitative and qualitative information about what’s going on in a complicated system.
When I say “functorially”, I mean for starters:  there should be a functor from “quantitative models” of system dynamics to “qualitative models”.

Dear John,

This is something I’ve been working on.  In a turn of phrase I once concocted, it’s like passing from the qualitative theory of differential equations to the differential theory of qualitative equations.  See the Chategory topic on Differential Logic.

Regards,
Jon

cc: Category TheoryCyberneticsOntologStructural ModelingSystems Science
cc: FB | Differential LogicLaws of Form

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to Differential Logic • Discussion 12

  1. Pingback: Differential Logic • Discussion 13 | Inquiry Into Inquiry

  2. Pingback: Differential Logic • Discussion 13 | Inquiry Into Inquiry

  3. Pingback: Differential Logic • Discussion 14 | Inquiry Into Inquiry

  4. Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.