Algebra
Category theory
Categorical structures
- Monoidal categories and their graphical languages
- PROPs, dioperads, and polycategories
- Operads and multicategories
- Monoid objects in monoidal categories
- Categories with multiple monoidal products
- String diagrams for closed categories
- Relaxations of cartesian categories
- Abelian categories
- Categorical structures generalizing categories:
- Enriched categories
- Internal categories
- Fibered categories and indexed categories
- Displayed categories
- Profunctors
- Undirected categorical structures
Categorical constructions
- Factorization systems
- Localization of categories
- Idempotents and splittings of idempotents
- Polynomial functors
Higher category theory
- Higher categories in general, but finite, dimension
- Bicategories and 2-categories
- Double categories
- Pseudomonoids in monoidal 2-categories
Categorical logic
- Categorical logic, overview
- Monads and distributive laws
- Partiality and relations in category theory
- Lambda calculus and category theory
Applied category theory
- Applied category theory, overview
- Adjoint School at the ACT conference
- Network theory
- Uncertainty in category theory
Computational algebra
Other topics in algebra
- Number systems
- Rigs and modules over rigs
- Quantales and quantaloids
- Coalgebra
- Hyperstructures