More Like this

1. Coherence for bicategories, lax functors, and shadows

   Malkiewich, Cary ; Ponto, Kate ( February 2022 , Theory and applications of categories)

   Shulman, Michael (Ed.)

   Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors. 

   more » « less
2. SYMMETRIC MONOIDAL G-CATEGORIES AND THEIR STRICTIFICATION

   https://doi.org/10.1093/qmathj/haz034  

   Guillou, Bertrand J. ; May, J. Peter ; Merling, Mona ; Osorno, Angélica M. ( December 2019 , The Quarterly Journal of Mathematics)

   We give an operadic definition of a genuine symmetric monoidal $G$-category, and we prove that its classifying space is a genuine $E_\infty $$G$-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power and Lack to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetric monoidal $G$-categories to genuine permutative $G$-categories. All of our work takes place in a general internal categorical framework that has many quite different specializations. When $G$ is a finite group, the theory here combines with previous work to generalize equivariant infinite loop space theory from strict space level input to considerably more general category level input. It takes genuine symmetric monoidal $G$-categories as input to an equivariant infinite loop space machine that gives genuine $\Omega $-$G$-spectra as output.

    

   more » « less
3. Student Explanations and Justifications Regarding Converse Independence

   Tucci, A. ; Dawkins, P.C. ; Roh, K.H. ; Eckman, D. ; Ruiz, S. ( August 2023 , Proceedings of the Annual Conference on Research in Undergraduate Mathematics Education)

   Cook, S. ; Katz, B. ; Moore-Russo, D. (Ed.)

   This paper presents six categories of undergraduate student explanations and justifications regarding the question of whether a converse proof proves a conditional theorem. Two categories of explanation led students to judge that converse proofs cannot so prove, which is the normative interpretation. These judgments depended upon students spontaneously seeking uniform rules of proving across various theorems or assigning a direction to the theorems and proof. The other four categories of explanation led students to affirm that converse proofs prove. We emphasize the rationality of these non-normative explanations to suggest the need for further work to understand how we can help students understand the normative rules of logic. 

   more » « less
4. Monoidal categories, representation gap and cryptography

   https://doi.org/10.1090/btran/151  

   Khovanov, Mikhail ; Sitaraman, Maithreya ; Tubbenhauer, Daniel ( January 2024 , Transactions of the American Mathematical Society, Series B)

   The linear decomposition attack provides a serious obstacle to direct applications of noncommutative groups and monoids (or semigroups) in cryptography. To overcome this issue we propose to look at monoids with only big representations, in the sense made precise in the paper, and undertake a systematic study of such monoids. One of our main tools is Green’s theory of cells (Green’s relations).

   A large supply of monoids is delivered by monoidal categories. We consider simple examples of monoidal categories of diagrammatic origin, including the Temperley–Lieb, the Brauer and partition categories, and discuss lower bounds for their representations.

    

   more » « less
5. A Basis Theorem for the Degenerate Affine Oriented Brauer–Clifford Supercategory

   https://doi.org/10.4153/CJM-2018-030-8  

   Brundan, Jonathan ; Comes, Jonathan ; Kujawa, Jonathan Robert ( October 2019 , Canadian Journal of Mathematics)

   Abstract We introduce the oriented Brauer–Clifford and degenerate affine oriented Brauer–Clifford supercategories. These are diagrammatically defined monoidal supercategories that provide combinatorial models for certain natural monoidal supercategories of supermodules and endosuperfunctors, respectively, for the Lie superalgebras of type Q. Our main results are basis theorems for these diagram supercategories. We also discuss connections and applications to the representation theory of the Lie superalgebra of type Q. 

   more » « less