Pith. sign in

REVIEW 1 cited by

Operadic categories and d\'ecalage

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1812.01750 v1 pith:A2MP3HWX submitted 2018-12-04 math.CT

classification math.CT
keywords categoriesoperadiccategorycomonadecalageabstractaxiomsadjunction
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of "abstract fibres" -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and axioms of operadic categories in terms of the d\'ecalage comonad D on small categories. A simple case involves unary operadic categories -- ones wherein each map has exactly one abstract fibre -- which are exhibited as categories which are, first of all, coalgebras for the comonad D, and, furthermore, algebras for the monad induced on the category of D-coalgebras by the forgetful-cofree adjunction. A similar description is found for general operadic categories arising out of a corresponding analysis that starts from a "modified d\'ecalage" comonad on the arrow category of Cat.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Pita factorisation in operadic categories

    math.CT 2025-12 conditional novelty 6.0 of 10

    For strictly factorisable operadic categories, the pita nerve is a coherent top-lax simplicial category, and a decomposition space when all quasibijections are invertible.

Pith tools