**Dynamical Systems and Sheaves**

by D. I. Spivak, C. Vasilakopoulou, P. Schultz

**Publisher**: arXiv 2016**Number of pages**: 65

**Description**:

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special cases include discrete, continuous, and hybrid dynamical systems. A central goal is to understand the systems that result from arbitrary interconnection of component subsystems.

Download or read it online for free here:

**Download link**

(610KB, PDF)

## Similar books

**Mixed Motives**

by

**Marc Levine**-

**American Mathematical Society**

This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.

(

**9731**views)

**Introduction to Categories and Categorical Logic**

by

**Samson Abramsky, Nikos Tzevelekos**-

**arXiv**

These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.

(

**7178**views)

**Abelian Categories: an Introduction to the Theory of Functors**

by

**Peter Freyd**-

**Harper and Row**

From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.

(

**7558**views)

**Seven Sketches in Compositionality: An Invitation to Applied Category Theory**

by

**Brendan Fong, David I Spivak**-

**arXiv.org**

This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.

(

**1013**views)