A recognition criterion for lax-idempotent pseudomonads

Research Square 2026 Preprint Open access

Read full text

Authors: John Bourke

DOI: 10.21203/rs.3.rs-8407365/v1

Cited by: 0

Fields of Study & Subjects

Homotopy and Cohomology in Algebraic Topology Logic programming and type systems Advanced Algebra and Logic