Natural anadeses and catadeses
Natural deduction and coherence for non-symmetric linearly distributive categories.
Near-group categories.
Nilpotence, radicaux et structures monoïdales
Normal functors and strong protomodularity.
Normalisation for the fundamental crossed complex of a simplicial set.
Normalisation of the theory of Cartesian closed categories and conservativity of extensions of
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.
Note on commutativity in double semigroups and two-fold monoidal categories.
Note on Frobenius monoidal functors.
Notes on enriched categories with colimits of some class.
Notes on TQFT wire models and coherence equations for triangular cells.
Notion of topology for bicategories
Nuclei of categories with tensor products.