Math-Ct
Globular realization and cubical underlying homotopy type of time flow of process algebra
A Logic of Injectivity
On the Dreaded Right Bousfield Localization
On combinatorial model categories
On (Enriched) Left Bousfield Localization of Model Categories
The Intrinsic Fundamental Group of a Linear Category
Convex Hull Realizations of the Multiplihedra
Morita classes of algebras in modular tensor categories
Comparing composites of left and right derived functors
On ordered face structures and many-to-one computads
A Unified Approach to Algebraic Set Theory
Derived equivalences of K3 surfaces and orientation
Coherence in Linear Predicate Logic
Homotopical interpretation of globular complex by multipointed d-space
Extended TQFTs and Quantum Gravity
Bases in diagrammatic quantum protocols
De Morgan classifying toposes
In Ehresmanns footsteps: from Group Geometries to Groupoid Geometries
A bicategorical version of Masuokas theorem. Applications to bimodules over functor categories and to firm bimodules
Diagrammatic Inference
Infinitesimal cubical structure, and higher connections
Bicartesian Coherence Revisited
