Mathematics/Category Theory

Subject Classification

AMS: Category theory; homological algebra

2023

Strict Omega Categories

by Anthony Bordg and Adrián Doña Mateo

Jan 14

2021

Category Theory for ZFC in HOL III: Universal Constructions

by Mihails Milehins

Sep 06

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

by Mihails Milehins

Sep 06

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

by Mihails Milehins

Sep 06

2020

Bicategories

by Eugene W. Stark

Jan 06

2018

Axiom Systems for Category Theory in Free Logic

by Christoph Benzmüller and Dana Scott

May 23

2017

Monoidal Categories

by Eugene W. Stark

May 04

2016

Category Theory with Adjunctions and Limits

by Eugene W. Stark

Jun 26

2010

Category Theory

by Alexander Katovsky

Jun 20

2005

Category Theory to Yoneda's Lemma

by Greg O’Keefe

Apr 21