# Memory Evolutive Neural Systems
## When Category Theory meets Neuroscience
##### Younesse Kaddar
##### Based on A. Ehresmann and J.-P. Vanbremeersch's work
### Introduction: what's wrong with biological systems?
____
### I. Complex objects as colimits
### II. Emergence theorem
### III. Memory Evolutive Neural Systems
Introduction
- Memory Evolutive Systems:
Categorical modelisation of hierarchical, evolving and self-regulating systems (≃ 30 years of research already!).
Authors
| A. Ehresmann |
![]() |
Mathematician (Université de Picardie):
J.-P. Vanbremeersch |
|
![]() Physician (Université de Picardie): specialty in geriatry
</tr>
</table>
# What's wrong with biology?
## 1. Emergence vs. Reductionism
|
## 2. Self-organisation
- Flexibility
- Adaptability
*Examples*:
- Objects preserved by morphisms:
- Sets
- Vector spaces, Topological spaces, Manifolds, Groups, Rings, ...
- Logical formulas, Types (λ-calculus), ...
- Structures forming *one* category:
- Posets, Monoids, Groups, Groupoids, ...
## ... and even (small) categories themselves form a category!
- **Objects:** Categories - **Morphisms**: Functors
## Universal constructions
**Limits**:
: - Terminal objects
- Products
- Equalizers (Kernels), Pullbacks, ...
**Colimits**:
: - Initial objects
- Coproducts
- Coequalizers (Quotients), Pushouts, ...
> ⟹ Colimits are **more** than sums
### Complex objects as colimits
Hierarchical Evolutive System (HES) $K$: : - a timescale $T ⊆ ℝ_+$ - $∀ t∈ℝ_+$, a hierarchical category $K_t$ (configuration at $t$) - $∀ t < t'$, a *transition* functor $k_{tt'}: K_{tt'} ⊆ K_{t} ⟶ K_{t'}$ - *Transitivity condition*: a *component* $C ∈ H$ is a maximal set of objects linked by transitions.
## Flexible Memory
|


## 2. Self-organisation
- Flexibility
- Adaptability
*Examples*:
- Objects preserved by morphisms:
- Sets
- Vector spaces, Topological spaces, Manifolds, Groups, Rings, ...
- Logical formulas, Types (λ-calculus), ...
- Structures forming *one* category:
- Posets, Monoids, Groups, Groupoids, ...
## ... and even (small) categories themselves form a category!
## Universal constructions
**Limits**:
: - Terminal objects
- Products
- Equalizers (Kernels), Pullbacks, ...
**Colimits**:
: - Initial objects
- Coproducts
- Coequalizers (Quotients), Pushouts, ...
> ⟹ Colimits are **more** than sums
### Complex objects as colimits
## Flexible Memory