Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Strict Omega Categories

Email Gateway (Jan 16 2023 at 13:12):

From: Andreas Lochbihler <mail@andreas-lochbihler.de>
Strict Omega Categories
Anthony Bordg and Adrián Doña Mateo

This theory formalises a definition of strict omega-categories and the strict
omega-category of pasting diagrams. It is the first step towards a formalisation of weak
infinity categories à la Batanin–Leinster.

https://www.isa-afp.org/entries/StrictOmegaCategories.html

Enjoy!

Last updated: Apr 25 2024 at 08:20 UTC