Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-double-categories

A list of works and resources about double category theory, with a particular focus on applications.
https://github.com/mattecapu/awesome-double-categories

Last synced: 4 days ago
JSON representation

Introductions & references
Theory
- General
- Equipments
  - _Equipments_
  - _Framed bicategories and monoidal fibrations_
- Grothendieck constructions
  - _Grothendieck construction for double categories_
  - _Double Fibrations_
Applications
- Lenses & optics
  - _The double category of lenses_
  - _Seeing double through dependent optics_
- Open systems theory

Categories

Theory 7 Applications 6 Introductions & references 4

Sub Categories

Open systems theory 4 General 3 Lenses & optics 2 Equipments 2 Grothendieck constructions 2