Mathematics/Category theory

Subject Classification

AMS: Category theory; homological algebra

2024

The Elementary Theory of the Category of Sets

by James Baxter and Dustin Bryant

Oct 10

Residuated Transition Systems II: Categorical Properties

by Eugene W. Stark

Jun 16

Enriched Category Basics

by Eugene W. Stark

Jun 16

Higher Globular Catoids and Quantales

by Cameron Calk and Georg Struth

Jan 24

Cubical Categories

by Georg Struth and Tanguy Massacrier

Jan 24

2023

Catoids, Categories, Groupoids

by Georg Struth

Aug 14

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