A computer algebra system for the study of commutativity up to coherent homotopies

DOI10.32513/asetmj/1932200819zbMath1487.55001arXiv2102.07670OpenAlexW3129548923MaRDI QIDQ2139465

Anibal M. Medina-Mardones

Publication date: 17 May 2022

Published in: Advanced Studies: Euro-Tbilisi Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.07670

zbMATH Keywords

cup productcomputer algebra systemsimplicial setoperadscohomology operationshomotopical algebraPythoncubical set

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Persistent homology and applications, topological data analysis (55N31) Loop spaces (55P35) Simplicial sets and complexes in algebraic topology (55U10) Steenrod algebra (55S10) Primary cohomology operations in algebraic topology (55S05) Operads (general) (18M60) Algebraic operads, cooperads, and Koszul duality (18M70)

Related Items

Cochain level May-Steenrod operations, New formulas for cup-\(i\) products and fast computation of Steenrod squares, Persistence Steenrod modules

Uses Software

• SageMath
• ChainCon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dyer-Lashof-Cohen operations in Hochschild cohomology.
• The twisted Cartesian model for the double path fibration
• The homology of iterated loop spaces
• A combinatorial method for computing Steenrod squares
• Computation of cohomology operations on finite simplicial complexes
• Fermionic SPT phases in higher dimensions and bosonization
• Homotopy invariant algebraic structures on topological spaces
• A cochain level proof of Adem relations in the mod 2 Steenrod algebra
• Cochain level May-Steenrod operations
• An algebraic representation of globular sets
• An effective proof of the Cartan formula: the even prime
• The geometry of iterated loop spaces
• HPT and cocyclic operations
• Products of cocycles and extensions of mappings
• Cohomologie modulo 2 des complexes d'Eilenberg-MacLane
• Sur l'itération des opérations de Steenrod
• Computation of Cubical Steenrod Squares
• Operads and PROPs
• Cohomology Operations (AM-50)
• Geometry of loop spaces and the cobar construction
• Multivariable cochain operations and little 𝑛-cubes
• Combinatorial operad actions on cochains
• A finitely presented ${E}_{\infty}$-prop II: cellular context
• A finitely presented ${E}_{\infty}$-prop I: algebraic context
• Homotopy Associativity of H-Spaces. I
• Homology of Iterated Loop Spaces
• The Iteration of the Steenrod Squares in Algebraic Topology