Parametrized higher category theory by Shah, Jay (Jay Hungfai Gautam)

Get full text

Idempotents in intensional type theory by Michael Shulman

“…Both proofs are inspired by parallel results of Lurie in higher category theory, showing that ideas from higher category theory and homotopy theory can have applications even in ordinary MLTT. …”
Get full text

Cofree compositions of coalgebras by Stefan Forcey, Aaron Lauve, Frank Sottile

“…We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. …”
Get full text

Hamiltonian Analysis for the Scalar Electrodynamics as 3<i>BF</i> Theory by Tijana Radenković, Marko Vojinović

“…The higher category theory can be employed to generalize the <inline-formula> <math display="inline"> <semantics> <mrow> <mi>B</mi> <mi>F</mi> </mrow> </semantics> </math> </inline-formula> action to the so-called <inline-formula> <math display="inline"> <semantics> <mrow> <mn>3</mn> <mi>B</mi> <mi>F</mi> </mrow> </semantics> </math> </inline-formula> action, by passing from the notion of a gauge group to the notion of a gauge 3-group. …”
Get full text