Categorification of characteristic structures

DOI10.1017/FMS.2025.10159MaRDI QIDQ6863093zbMATH OpenFDO

Authors Peter A. Brooksbank, Heiko Dietrich, Joshua Maglione, E. A. O'Brien, James B. Wilson

Publication date 6 February 2026

Published in Forum of Mathematics, Sigma (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/FMS.2025.10159

Mathematics Subject Classification ID

Automorphisms and endomorphisms of algebraic structures (08A35) Computational methods for problems pertaining to group theory (20-08) Categorification (18N25)

Cites work

• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 3720983 (Why is no real title available?)
• scientific article; zbMATH DE number 19499 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1086708 (Why is no real title available?)
• scientific article; zbMATH DE number 2133330 (Why is no real title available?)
• scientific article; zbMATH DE number 1849958 (Why is no real title available?)
• CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS
• Category theory in context
• Filters compatible with isomorphism testing
• Graduate algebra: noncommutative view.
• Groups with abelian central quotient group.
• Homotopy type theory. Univalent foundations of mathematics
• Longer nilpotent series for classical unipotent subgroups
• Model Theory
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Nachweis der Existenz nicht isomorpher Gruppen von gleicher Situation der Untergruppen.
• Reedy categories which encode the notion of category actions
• Testing isomorphism of graded algebras
• The Lean 4 theorem prover and programming language
• The Magma algebra system. I: The user language
• Types and programing languages
• Verbal and marginal subgroups.

This page was built for publication: Categorification of characteristic structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6863093)