The Human Category

This page is a sub-page of our page on Category Theory.

///////

The sub-pages of this page are:

Algebraic Thought
Semantic meta-network for communicative quality assurance

///////

Related KMR-pages:

Provocative Modeling

///////

Other relevant sources of information:

A legacy for living systems, Gregory Bateson as Precursor to Biosemiotics,
Springer, 2008.
Semiotic Engineering
Algebraic Semiotics, by Joseph Goguen

///////

Human Algebras:

Norm-Critical Innovation Algebra
Discourse Algebra
Social Algebra
Socially Responsible Algebra
Social Calculus
Knowledge Algebra
Business Algebra
Ethical E-Commerce

Matrix Algebras:

Matrix Algebra
Linear Algebra
Projective Geometry

Polynomial Algebras:

Some basic algebraic concepts
Rings of Polynomials
Disambiguating plus

Category Theory:

Category Theory
Algebraic Thought

///////

Other related sources of information:

Categorical Informatics

///////

HumCat: The Human Category

1. The category of human beings

Starting point: Human thinking can be modeled as instantiations of thought patterns

A thought can be regarded as the a instantiation of a kind of blue-print that we will refer to as a thought pattern, a thought-schema, or sometimes just a schema when the context is unambiguous. This is very similar to how databases are constructed by specifying a database schema and then populating the database by instantiating this (abstract) schema with (concrete) entries of data items – as well as with relations between some of these – in accordance with the rules and constraints provided by the schema.

1.1. Human information

The complementary view to Shannon’s perspective is the the human perspective on communication, which has been taken by a number of scholars. It is best represented by the famous definition of information given by Gregory Bateson (1972): “(the elementary unit of) information is a difference that makes a difference”. Hence, the first difference is mapped into the mind of the agent and combined with the cognitive state of the agent into the second difference.

According to Wikipedia, a pattern, is “a regularity in the world, in human-made design, or in abstract ideas. As such, the elements of a pattern repeat in a predictable manner.” From this perspective, a thought pattern could be thought of as a collection of mental models with predictable relations between some of them.

If we think of a difference as a form of pattern, then Bateson’s definition translates into “information is a pattern (of elementary units) that creates another pattern”. Moreover, this creation is due to the presence of a third pattern, namely the pattern that represents the cognitive state of the agent involved. We will often refer to the latter type of pattern as a cognitive schema.

Hence, we can expand Bateson’s definition in the following way:

Information is a difference that makes a difference to me,
by allowing me to connect a pattern that is new to me
with the patterns that I know from before
.

Category theory is a universal pattern language for mathematics that has been developed during the last 75 years. It is concerned (in increasing order of importance) with patterns, relations between patterns and relations between such relations.

Since knowledge is expressed in terms of patterns, we can say that in Bateson’s model of information, knowledge is developed and “makes a difference” by connecting patterns. In category theory such connections are created by the construction of limits and colimits.

///////

A difference that makes a difference:

A difference that makes a difference

///////

How a difference makes a difference:

PrePatterns ---> NowPatterns ---> PostPatterns

///////

Interpreting objects through concepts:

Interpreting objects through concepts

///////

What we agree on and what we obey:

What we agree on and what we obey

///////

We as the limit and colimit of Me and You:

We as limit and colimit of Me and You

///////

Perception-consciousness and Action-consciousness:

Perception-consciousness (what we agree on and Action-consciousness (what we obey)

///////

Input: thought patterns – Output: behavior patterns

Thoughts- and behavior patterns

///////

Uniquely determined experience and uniquely determined action:

Uniquely determined experience and uniquely determined action

///////

INout: model as perceived – Output: change as intended:

Model as perceived - change as intended

///////

Learning kicks in when some triangles do not commute:

Learning "kicks in" when some triangles don't commute

///////

Better knowledge and bettern skills restore commutativity:

Better knowledge and skills restore commutativity

///////

Mental models – Ingrained behavior:

Mental models - ingrained behavior

///////

Input: shared mental models- Output: shared ingrained behavior:

Shared mental models - shared ingrained behavior

///////

Union and intersection of mental models and ingrained behavior:

Union and intersection of mental models and ingrained behavior

///////

Unrepresented interrelation and action modes:

Unrepresented interrelation mode

///////

[ As above, so below ]

[ Hom-O-Sapiens = Hom(Universe, Mind) ]

===========================================
[Mathematics is the study of all structures
that the human mind is able to perceive.
========================================

[Sense = Universe/Nonsense]

//////////////////////// Quotes from Poincaré:

Since half a century we have seen arise a crowd of bizarre functions which seem to try to resemble as little as possible the honest functions which serve some purpose….Nay more, from the logical point of view, it is these strange functions which are the most general….to-day they are invented expressly to put at fault the reasonings of our fathers….
— Henri Poincaré (1913)

Point set topology is a disease from which the human race will soon recover
Featured in: Henri Poincaré Quotes

List of mathematical jargon

///////

Consciousness is the projection Hom(Universe, Mind)

Consciousness-projections-2_1

///////

Abductive pseudo-inverse

Abductive Pseudo-Inverse(Figure 3)

///////

Embedding Newton and restricting Einstein

Embedding Newton and Restricting  Einstein

///////

The cactus is a multidimensional plant

The-cactus

///////

Leviathan as the limit and colimit of his Subjects:

Leviathan as the limit and colimit of his subjects

///////

Mental modeling:

Mental modeling

///////

Interpreting an Object through a Model:

Interpreting an Object through a Model

///////

Evolving a Cultural Reference Model:

Evolving a Cultural Reference Model

///////

Physically and mentally augmented senses:

Physically and Mentally Augmented Senses

///////

Overview of Human Communication:

Overview of Human Communication

///////

Explicitly and tacitly supported communication loop:

Tacitly supported communication loop

///////

2-agent conversational knowlecule:

2-agent conversational knowlecule

///////

Sharing explicit knowledge in a knowledge bundle:

Sharing explicit knowledge in a knowledge bundle

///////

The React –> Preact –> Act loop:

The React  Preact  Act loop

///////

Monitoring and connecting information flows by knowledge tentacles:

Monitoring and connecting by knowledge tentacles

///////

Functorial and non-functorial patterns:

Functorial and non-functorial patterns

///////

Functorial and non-functorial relations between energy theories:

Functorial and non-functorial relations between energy theories

///////

Henry supports Sally:

Henry supports Sally

///////

Multi-level commutativity:

Multi-level commutativity

///////

Pullback of Thoughts, Feelings, and Beliefs:

Pullback of Thoughts, Feelings, and Beliefs

///////

Read-Write interaction loop:

Read-Write interaction loop

///////

A difference that makes a difference:

A difference that makes a difference

///////

How a difference makes a difference:

PrePatterns ---> NowPatterns ---> PostPatterns

///////

\, {\mathbb 2}^{P_{rePatterns}} \, \stackrel {N_{owPatterns}} {\longrightarrow} \, {\mathbb 2}^{P_{ostPatterns}} \,

\, {\mathbb 2}^{P_{rePats}} \, \stackrel {N_{owPats}} {\longrightarrow} \, {\mathbb 2}^{P_{ostPats}} \,

Expansion of Time into a Laurent series of moments

///////

Pullback from FunctorCategories Mind –> Cat:

Pullback from FunctorCategories Mind --> Cat

///////

Looking through functor categories:

Looking through functor categories

///////

Aware schema mappings:

Aware schema mappings

///////

Unaware schema mappings:

Unaware schema mappings

///////

Read-write loop through glasses:

Read-write loop through glasses

///////

Read-write loop with glasses and implicit templates:

Read-write loop with glasses and implicit templates

///////

Anastomotic reticulum 1:

Anastomotic reticulum 1

///////

Anastomotic reticulum 2:

Anastomotic reticulum 2

///////

Read-write loop through anastomotic reticulum:

Read-write loop through anastomotic reticulum

///////

Divisibility Graph at Wolfram MathWorld.

Lattice of limits (= agreements) and colimits (= coherent actions):

Hierarchy of limits and colimits through glasses

///////

Dual glasses – limit and colimit for the fish system:

Dual_glasses(@Fåglarö)_limit_and_colimit

///////

eyeglasses-4114755_1920

///////

Concept improvement process:

Concept improvement process

///////

Intensive and extensive semantics:

Intensive and extensive semantics

///////

Rules ∆ Examples:

Rules Delta Examples

///////

Interpreting and expressing thoughts 1:

Interpreting and expressing thoughts 1

///////

Interpreting and expressing thoughts 2:

Interpreting and expressing thoughts 2

///////

Communicating through thought-graphs:

Communicating through thought-graphs

///////

Mapping a thought-square 1:

Mapping a thought-square 1

///////

Mapping a thought-square 2:

Mapping a thought-square 2

///////

Mapping a thought-square 3:

Mapping a thought-square 3

///////

Mapping a thought-square 4:

Mapping a thought-square 4

///////

Mapping a thought-square 5:

Mapping a thought-square 5

///////

Mapping a thought-square 6:

Mapping a thought-square 6

///////

The Conzilloscope

Conzilloscope-1

Conzilloscope-2

Conzilloscope-3

///////

Two cognitive agents modeling a situation in Me^3 + You^3:

Two cognitive agents modeling a situation 1

///////

Two cognitive agents modeling a situation 2:

Two cognitive agents modeling a situation 2

///////

Two cognitive agents modeling a situation 3:

Two cognitive agents modeling a situation 3

///////

Two cognitive agents modeling a situation 4:

Two cognitive agents modeling a situation 4

///////

Conscious and Sub-Conscious Communication:

Conscious and SubConscious Communication

///////

Communication model for Human Atolls:

Communication model for Human Atolls

///////

Me^3 and You^3:

Me^3 and You^3

///////

SECI-based Intra/Inter Communication model:

SECI-based Intra:Inter Communication model 1

///////

SECI-based Intra/Inter Communication model of type Me^2 <=> You^2:

SECI-based Intra:Inter Communication model 2

//////

Consciousness is a mathematical pattern (Max Tegmark at TEDxCambridge 2014):

//////

Leave a Reply