From 30b3f5089d0c9834bc36ac9c7ffe45e5a9720cec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 9 Sep 2021 22:42:08 +0200 Subject: [PATCH] add colim operator --- math/mkessler-operators.sty | 1 + 1 file changed, 1 insertion(+) diff --git a/math/mkessler-operators.sty b/math/mkessler-operators.sty index 4f5bdbe..a0e43ef 100644 --- a/math/mkessler-operators.sty +++ b/math/mkessler-operators.sty @@ -126,6 +126,7 @@ \DeclareSimpleMathOperator{Hom} \DeclareSimpleMathOperator{Mor} \DeclareSimpleMathOperator{End} +\DeclareSimpleMathOperator{colim} %Categories \DeclareCategory{Top}