Kernels, lax algebras, décalage, and supercoherence

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Markl, Martin, Trnka, Dominik
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866910010859061248
author Markl, Martin
Trnka, Dominik
author_facet Markl, Martin
Trnka, Dominik
contents We prove that a pointed category has kernels if and only if it is a lax algebra for the arrow 2-monad, and that this holds if and only if it is the décalage of a supercoherent structure. We will then interpret categories with kernels as the sought-after weak version of unary operadic categories.
format Preprint
id arxiv_https___arxiv_org_abs_2601_20322
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Kernels, lax algebras, décalage, and supercoherence
Markl, Martin
Trnka, Dominik
Category Theory
Algebraic Topology
18C15, 18N50, 18M60
We prove that a pointed category has kernels if and only if it is a lax algebra for the arrow 2-monad, and that this holds if and only if it is the décalage of a supercoherent structure. We will then interpret categories with kernels as the sought-after weak version of unary operadic categories.
title Kernels, lax algebras, décalage, and supercoherence
topic Category Theory
Algebraic Topology
18C15, 18N50, 18M60
url https://arxiv.org/abs/2601.20322