Category theory
Top View
- A Categorical Theory of Hybrid Systems by Aaron David Ames B.A
- Reporting Structures: Category Theory, Algebraic and Topological Properties
- CATEGORICAL COMPLEXITY Contents 1. Introduction 2 2
- Modelling Multi-Agent Interaction Protocols Using Categories Enriched Over Pointed Sets
- Basic Category Theory
- Categorical Notions of Fibration
- On the Axiomatisation of Boolean Categories with and Without Medial Lutz Straßburger
- Some Aspects of Categories in Computer Science
- Categorical and Combinatorial Aspects of Descent Theory
- A Category-Theoretic Approach to Boolean-Valued Models of Set Theory
- Internal Diagrams and Archetypal Reasoning in Category Theory
- Proving Database Migration Correctness with Category Theory
- Category Theory for Programmers
- Theoretical Computer Science for the Working Category Theorist
- Jason Morton – an Approach to Computational Category Theory
- On My Favorite Conventions for Drawing the Missing Diagrams in Category Theory
- Representation Theory of Combinatorial Categories
- Category Theory, Logic and Formal Linguistics: Some Connections, Old and New Jean Gillibert, Christian Retoré