Category Theory for ZFC in HOL III: Universal Constructions

by Mihails Milehins

# Mathematics/Category Theory

## 2021

Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories

by Mihails Milehins

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

by Mihails Milehins

## 2020

## 2018

Axiom Systems for Category Theory in Free Logic

by Christoph Benzmüller and Dana Scott

## 2017

## 2016

Category Theory with Adjunctions and Limits

by Eugene W. Stark