# Mathematics/Category theory

## Subject Classification

AMS: Category theory; homological algebra

## 2024

## 2023

## 2021

##### Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories

by Mihails Milehins

AMS: Category theory; homological algebra

by Mihails Milehins