Custom Hypergraph Categories via Generalized Relations
过程理论将用于组合推理的图形语言与底层的分类语义相结合。它们已成功地应用于量子计算、自然语言处理、线性动力系统和网络理论等领域。当研究一个新的应用程序时，问题是如何确定一个合适的过程理论模型。我们提出了一个概念上的动机参数化框架的过程理论模型的建设。我们的框架概括了二元关系的概念沿四个轴的变化，真值，选择的代数结构，周围的数学宇宙和选择的证明相关性或可证明性。由此产生的类别是前序丰富的，并提供类似的关系逆和采取图的地图。我们的构造在参数选择中起作用，在不同的应用领域之间建立数学联系。我们说明我们的技术，通过构建许多现有的模型，从文献和新的模型，开辟了进一步发展的基础。
2017-03-03 cs.LO math.CT
Treewidth via Spined Categories (extended abstract)
树宽是一个著名的图不变量，在组合数学中有许多有趣的应用。实际上，许多NP完全问题在有界树宽的图上是多项式时间（有时甚至是线性时间）可解的。在理论方面，树宽在著名的罗伯逊-西摩图子定理的证明中发挥了重要作用。在定义图上的树宽不变量和其他类型的组合对象（包括）上的树宽类似物时，超图，有向图）已经是一个富有成效的研究途径，一个直接的，类别描述捕捉多个树宽一样的不变量尚未出现。在这里，我们报告我们最近的工作spined范畴（arXiv：2104.01841）：范畴配备了额外的结构，允许定义一个函子类似的树宽，三角形函子。通常的概念树宽恢复作为一个特殊的情况下，三角形函子的spined范畴与图作为对象和图的单态箭头。超图的树宽通常是由一个类似超图的三角化函子产生的。
2021-05-12 math.CO math.CT
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
本文为e-graph给出半格富集笛卡尔范畴的范畴论语义，将其推广至幺半范畴，提出e-hypergraph作为态射的可靠完备组合表示，并实现了适用于这类结构的DPO重写。
2025-05-20 cs.LO math.CT
Rewriting Modulo Traced Comonoid Structure
University of Birmingham（伯明翰大学）
本文提出了一种基于迹余幺半群结构的图重写方法，用于描述具有延迟和反馈的顺序电路等式理论。
2026-01-01 cs.LO math.CT
Weak Fraisse categories
我们发展了弱Fraisse范畴的理论，其中的关键概念是最近在模型论中发现的弱合并性质。我们证明了在适当的框架下，每个弱Fraisse范畴都有其唯一的极限，即一个更大范畴中的特殊对象，其特征在于内射性的某种变体。这大大扩展了目前的理论弗莱斯限制。
2021-08-24 math.CT math.LO
Functorial Approach to Graph and Hypergraph Theory
利用范畴语法和范畴语义为范畴图和超图理论提供了一种新的研究方法。对于每个幺半群$M$和一个集合$X$上的动作，有一个相关的$(X,M)$ -图的预层拓扑，其中每个对象可以被解释为一个广义均匀超图，其中每个边都有基数$\#X$事件顶点（包括多重性），并且幺半群通知边拥有什么类型的凝聚力。$(X,M)$ -图的一个显著特征是存在不固定边。我们证明了，如果一个图或一致超图的指数和有效的等价关系存在的范畴中，不固定的边缘是一个必要的特征。将语法（$(X,M)$ -图论）与语义（$(X,M)$ -图的范畴）分离的主要优点是能够在任何共完备范畴中解释该理论。这个interpetation函子，然后产生一个神经实现的adjunction，并允许我们转移结构之间的类别的$(X,M)$ -图和接受的共完全范畴。
2019-07-04 math.CO math.CT
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
本文研究弦图重写中比完整 Frobenius 结构更弱的交换幺半群结构，并通过超图双推出重写的可靠且完备解释刻画了模去交换幺半群等式的弦图重写。
2025-01-30 cs.LO math.CT
Weakly globular N-fold categories as a model of weak N-categories
本文研究了作者以前提出的一类新的高级范畴结构，称为弱球形n-fold范畴。我们表明，这种结构是一个模型的弱n-范畴证明它是适当的等价的Tamsamani-Simpson模型。我们还引入了群胚弱球形n重范畴，并证明了它们是n型的代数模型。
2016-09-13 math.CT
Bicategories and Weakly Globular Double Categories
本文引入了弱球形双范畴的概念，这是严格双范畴的一个特殊类别，作为弱2-范畴的一种建模方法;探讨了它在定义分数双范畴中的应用，并证明了群胚弱球形双范畴的子2-范畴形成了同伦2-类型的代数模型。
2013-03-27 math.CT
Spined categories: generalizing tree-width beyond graphs
树宽是解决图的计算问题的一个非常有用的工具。但人们通常希望计算其他类型的对象（例如装饰图甚至代数结构），其中没有已知的树宽模拟。在这里，我们定义了一个抽象的类似树宽，它提供了一个统一的定义，各种树宽的不变量，包括图树宽，超图树宽，补充树宽，甚至新的建设，如树宽的模块子。我们通过发展一个允许树分解和树宽的抽象类似物的范畴的一般理论来获得这种推广;我们分别称这些伪弦完备和三角化函子。
2022-06-21 cs.CC math.CO math.CT
Euler characteristic for weak n-categories and $\left(\infty,1\right)$-categories
Leinster利用丰富范畴理论定义了有限严格n-范畴的欧拉示性数。这是一个扩展的一些他的早期工作，其中定义欧拉示性数有限类别。在Leinster工作的基础上，我们将欧拉示性数的概念推广到某些有限弱2-范畴，并给出了一个类似推广到弱n-范畴的草图.我们还讨论了欧拉示性数到某些有限$\left(\infty,1\right)$ -范畴的推广。
2015-07-23 math.CT
Weakly exact categories and the snake lemma
推广了正合范畴的概念，引入了弱正合范畴。蛇引理在此一般设置的证明。给出了弱正合范畴中同调代数的一些应用。
2009-01-16 math.CT
Hom weak $ω$-categories of a weak $ω$-category
弱高维范畴的经典定义是归纳给出的;例如，一个双范畴有一组对象和hom范畴，而一个三范畴有一组对象和hom双范畴。然而，最近对所有自然数$n$的弱$n$ -范畴或弱$ω$ -范畴的定义采用了更复杂的方法，并且“hom”的性质通常不是直接来自定义。本文在Batanin的弱$ω$ -范畴定义的基础上，重点讨论了Leinster的弱$ω$ -范畴定义，并为每个弱$ω$ -范畴构造了一个由相同对象组成的基础（弱$ω$ -范畴）-富集图$\mathcal{A}$，为每对对象构造了一个Hom弱$ω$ -范畴$\mathcal{A}(x,y)$ .我们还表明，我们的建设是函的弱$ω$ -函子介绍加纳。
2021-10-31 math.CT
Admissible weak factorization systems on extriangulated categories
本文在外三角范畴中引入容许弱分解系统，建立了其与余挠对的双射，并在特定条件下通过该系统证明了遗传余挠对与相容余挠对的等价关系，推广了已有结果。
2024-08-27 math.CT
Dendroidal weak 2-categories
讨论了Moerdijk和Weiss提出的弱高阶范畴的树状概念，证明了树状弱2-范畴等价于双范畴.
2013-04-15 math.AT math.CT
Weakly globular double categories and weak units
本文建立弱球状双范畴与 fair 2-范畴的直接比较，证明二者在关于 2-等价局部化后等价，并揭示其严格结合复合与弱单位结构。
2025-03-14 math.AT math.CT
$ω$-weak equivalences between weak $ω$-categories
研究Batanin-Leinster意义下弱ω-范畴间的ω-弱等价，定义其为各维度本质满射的严格ω-函子（与严格ω-范畴模型范畴弱等价一致），证明其及Garner意义下弱ω-函子推广形式均具2-out-of-3性质。
2025-06-02 math.CT
Orientals as free weak $ω$-categories
东方人是自由严格$ω$ --由Street引入的单形范畴。本文的目的是证明它们也是同一生成数据上的自由弱$ω$ -范畴。更确切地说，我们展示了东方人的街道神经作为Verity的模型结构中的单纯形的替代品。
2023-02-16 math.CT
Involutive Weak Cubical $ω$-categories
本文采用Penon的单子代数方法定义并研究对合弱立方 $ω$-范畴，并提供了若干具体例子。
2025-05-20 math.CT
Weak Omega Categories I
我们发展了一个弱Ω范畴的理论，任何熟悉范畴和函子语言的人，以及遇到严格2-范畴定义的人，都可以使用这个理论。这个理论最显著的特点是它的简单性。我们建立在一个想法，由于雅克Penon通过定义一个弱欧米茄类别是一个跨度的欧米茄岩浆具有某些性质。(An omega magma是一个自反的球形集合，具有部分定义的二元合成操作系统，该系统尊重球形结构。范畴、双范畴、严格欧米加范畴和佩农的弱欧米加范畴都是我们的弱欧米加范畴的实例。我们提供了一个启发式的论点，证明声称Batanin的弱欧米茄类别也适合我们的框架。我们表明，Baez-Dolan稳定化假设是我们定义的弱欧米茄类别的直接后果。我们定义了一个自然的概念之间的伪函子弱欧米茄类别，并表明，它包括经典的概念之间的同态bicategories。在任何弱Ω范畴中，与固定1-胞腔的复合运算定义了这样一个伪函子。最后，我们定义了弱Ω范畴之间的弱等价概念，它推广了普通范畴之间等价的标准定义。
2004-04-11 math.AT math.CT
Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories
本文通过研究在弱复集上丰富的范畴，继续发展弱ω-范畴的单纯理论。这些复灰范畴推广了同伦理论的Kan复丰富范畴和弱3-范畴论的灰范畴。我们推导出一个单纯神经结构，这是密切相关的Cordier和波特的同伦相干神经，并表明，这忠实地表示复杂的灰色范畴弱复杂集。弱复集范畴本身可以规范地扩充为复格雷范畴，其母集是同态、强变换和修改的双范畴的高级推广。通过将我们的神经结构应用到这个结构中，我们证明了所有（小）弱复杂集及其在高维的结构态射的总和形成了一个结构丰富的（大）弱复杂集。
2006-04-19 math.AT math.CT
Weak Hopf monoids in braided monoidal categories
我们发展了辫状幺半范畴范畴中的弱双序理论，并证明了它们在一定意义上是量子范畴。弱Hopf幺半群被证明是量子群胚。每个可分的Frobenius幺半群R导致一个弱Hopf幺半群R \otimes R。
2008-01-26 math.CT math.QA
Doubly weak double categories
本文提出了一种双范畴的定义，其中1-胞腔在两个方向上的复合都是弱的，并通过双计算域、隐式双范畴以及整理条件等不同方式刻画了这种双弱双范畴。
2026-03-17 math.CT
Involutive Weak Globular Higher Categories
本文利用Jacque Penon的方法研究了对合弱球形$ω$ -范畴的概念。特别地，我们给出了$ω$ -球集上自由自对偶球$ω$ -岩浆和自由严格对合球$ω$ -范畴的结构，以及它们之间的压缩.对合弱球形$ω$ -范畴的单子定义通常是通过代数给出的。在我们的例子中，附加函数是从“自由函子“中获得的，它将上述收缩与每个$ω$ -球形集合相关联。文中还给出了对合弱球形$ω$ -范畴的一些例子。
2017-09-27 math.CT
On factorisation systems for Ord-enriched categories and categories of partial maps
在这项工作中，我们讨论了一种新的类型的分解系统的\textbf{Ord}丰富的范畴。我们首先定义了新的概念，松弛弱正交性，这涉及到松弛平方松弛对角态射的存在。以通常的因子分解系统理论为蓝本，我们引入了弱函子因子分解系统的宽松版本。我们提供了一个宽松的函子弱因子分解系统，即宽松的弱因子分解系统，使他们的因式分解是宽松的函子。然后，我们提出了一个特殊的情况下，这种宽松的函子弱因子分解系统配备了额外的宽松单子结构。最后，我们探讨了一些例子，这些因式分解系统的类别部分地图配备了自然秩序丰富。我们将首先构建一个特定的松散的代数弱因式分解系统的类别的部分地图，隔离的总数据和部分域的部分地图。然后讨论了部分映射的基范畴上的因子分解系统与诱导范畴上的oplax因子分解系统之间的关系。
2021-03-12 math.CT
Weak enriched categories - Categories enrichies faibles
本文证明了弱充实范畴存在闭模型范畴结构的一个定理。它首先要求弱充实范畴的定义和弱充实范畴的等价，使得这些定义恢复了一些已有的高阶弱范畴的概念，例如Segal范畴，Tamsamani n-范畴和严格n-范畴。为了证明我们的定理，我们阐述了一个理论的计划细胞添加以下的方法的小对象参数一拉奎伦。最后，我们证明了我们的定理恢复了Segal范畴的情况。这最后一个结果需要Segal广群和拓扑空间之间的一个基本广群-几何实现附接。
2003-08-26 math.AG math.AT math.CT
Weak $\infty$-categories via terminal coalgebras
更高的范畴结构通常是通过维数归纳来定义的，先验地只产生有限维的结构。在本文中，我们展示了如何扩展这样的定义到无限维使用的理论终端余代数，我们将这种方法Trimble的概念的弱n-范畴。Trimble的定义明确了n-范畴与拓扑空间之间的关系;我们的推广理论给出了Trimble无穷范畴的定义和无穷广群胚的基本构造。此外，终结余代数通常被构造为某种类型的极限。我们证明了Batanin-Leinster弱无穷范畴理论正是作为这样一个极限而产生的，从而证明了我们对Trimble无穷范畴的研究是合理的。事实上，我们是在无穷范畴的单子层次上工作的，而不是无穷范畴本身;这需要更复杂的技术，但也提供了一个更完整的结构理论。
2019-11-04 math.CT
Weak braided monoidal categories and their homotopy colimits
我们表明，同伦colimit建设图的类别与操作动作，最近推出的Fiedorowicz，Stelzer和Vogt，具有所需的同伦类型的弱编织幺半范畴的图。这提供了一种更灵活的方式来实现E-2空间的分类。
2014-10-24 math.AT math.CT
Gray-categories model algebraic tricategories
Lack在Gray-范畴和Gray-函子的范畴GrayCat上描述了一个Quillen模型结构，其中弱等价是弱3-等价.本文采用Gurski，Johnson和Osorno的方法证明了GrayCat在弱等价上的局部化等价于代数三范畴和弱3-函子的伪自然等价类范畴.
2022-03-07 math.CT
Weak Fusion 2-Categories
我们引入arXiv：1812.11933中给出的fusion 2-范畴概念的一个弱化。然后，我们建立了（多）融合2-范畴的一些性质。最后，我们描述了融合2-范畴与特定的点编织融合范畴的融合规则。
2021-12-21 math.CT math.QA
A homotopy-theoretic universal property of Leinster's operad for weak omega-categories
我们解释了如何cofibrantly产生的弱因子分解系统的一个类别可能配备了一个普遍的和规范确定的选择cofibrant-replacement。然后，我们将其应用于弱欧米茄范畴的理论，表明严格欧米茄范畴的操作数的普遍和规范的一致替换正是Leinster的弱欧米茄范畴的操作数。
2011-10-14 math.AT math.CT
Weak model categories in classical and constructive mathematics
我们引入了“弱模型范畴”的概念，它是Quillen模型范畴概念的弱化，但仍然足以定义同伦范畴、Quillen算子、Quillen等价和大多数通常的范畴同伦理论的构造。左半模型范畴和右半模型范畴都是弱模型范畴，弱模型范畴的对立面也是弱模型范畴。弱模型范畴的主要优点是它们比Quillen模型范畴更容易构造。特别地，我们给出了两个弱因子分解系统构成弱模型范畴的简单判据。该理论是在一个非常弱的建设性框架，我们用它来生产，完全建设性（甚至预测），弱版本的各种标准模型类别，包括坎-奎伦模型结构，变体的Joyal模型结构的标记单纯集，和Verity模型结构的弱复杂集。我们还构造了所有这些的半单纯形式。
2020-05-09 math.AT math.CT
Module categories, weak Hopf algebras and modular invariants
我们发展了幺半范畴上的模范畴的抽象无意义（这是环上模的直接分类）。作为应用，我们证明了任何具有n个单对象的半单幺半范畴等价于弱霍普夫代数的表示范畴（T. Hayashi），并在正整数水平上对$\hat{sl}(2)$的融合范畴上的模块范畴进行分类，在此我们再次遇到ADE分类模式。
2001-11-12 math.CT math.QA
The hearts of weight structures are the weakly idempotent complete categories
本文证明了作为权结构的心脏出现的加法范畴恰是弱幂等完备范畴，即所有分裂单态给出直和分解的范畴。给出了弱幂等完备性的几个等价条件（其中有些是全新的），并讨论了可加范畴的弱幂等完备性。
2020-05-23 math.CT math.KT math.RT
Weak bimonoids in duoidal categories
在对偶范畴中引入了弱双紧性。它们提供了对偶范畴中的双对偶和辫幺半范畴范畴中的弱双对偶的共同推广。假设幂等态射在基范畴分裂，他们诱导弱bimonads（在四个对称的方式）。因此，它们有四个可分离的弗罗贝纽斯基（共）幺半群，每个基本的幺半范畴范畴中有两个。通过将诱导单子弱提升到诱导单子的Eilenberg-Moore范畴，定义了弱双紧环上的Hopf模.对对偶范畴作适当的假设，证明了Hopf模的基本定理：一个基幺半群上的模范畴等价于Hopf模范畴当且仅当一个伽罗瓦型余单态射是同构.
2013-06-20 math.CT math.QA
Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
证明了弱（余）完备$n$ -范畴的一般伴随函子定理。这类$n$ -范畴包含了（共）完备$\infty$ -范畴的同伦$n$-范畴，所以这些$n$ -范畴一般不允许所有的小（共）极限.我们还引入了（同伦）$n$ -范畴的Brown可表示性，并证明了紧生成的$n$ -范畴的局部化的Brown可表示性定理.这类$n$ -范畴包括可表示$\infty$-范畴的同伦$n$-范畴（如果$n \geq 2$）和可表示稳定$\infty$ -范畴的同伦$n$-范畴（对于任何$n \geq 1$）.
2022-08-02 math.AT math.CT
Simplicial and categorical comma categories
我们考虑四个类别：O上的小范畴的（逗号）范畴，O上的单纯集的（逗号）范畴，O上的神经上的单纯集的（逗号）范畴，O上的小范畴O上的小范畴的图范畴。弗里奇和Golasinski声称，这四个类别有等价的同伦类别，但事实上，他们的证明包含一个错误和同伦类别是不等价的弱等价，他们使用的逗号类别。本文证明了正确的弱等价是Latch定义的“弱纤维同伦等价”。我们还构造了NO上单纯集范畴的一个模型范畴结构，其中弱等价是弱纤维同伦等价。
2000-11-29 math.AT math.CT
(Weak) incidence bialgebras of monoidal categories
研究了Joni和Rota意义上的范畴的关联余代数，特别是一类上的monoidal乘积将其转化为（弱）双代数的情况。重叠的组合霍普夫代数和霍普夫箭图的理论进行了讨论，并考虑的例子包括树，斜形状，米尔纳的双图和交叉模块。
2019-04-15 math.CT math.QA
Combinatorial and accessible weak model categories
在以前的工作中，我们已经介绍了一个弱化的Quillen模型类别称为弱模型类别。它们仍然允许所有通常的模型范畴论的构造，但更容易构造，并且在某种意义上表现得更好。在本文中，我们继续发展他们的一般理论，通过引入组合和可访问的弱模型类别。我们给出了一个简单的充要条件，在此条件下，弱模型范畴可以扩展为左半模型范畴和右半模型范畴。作为应用，我们恢复了Cisinski-Olschok理论，并将其推广到弱模型和半模型范畴。我们还给出了组合可达弱模型结构的左、右Bousfield局部化的一般存在性定理，并结合上述结果给出了组合可达左、右半模型范畴的左、右Bousfield局部化的存在性结果，推广了Barwick的结果.令人惊讶的是，我们发现，任何左或右Bousfield本地化的一个可访问的或组合的Quillen模型类别总是存在的，没有适当的假设，并同时是一个左和右半模型类别，而不一定是一个Quillen模型类别本身。
2020-11-24 math.AT math.CT
Algebraic weak factorisation systems II: categories of weak maps
本文研究了Grandis-Tholen意义下的代数弱因子分解系统（AWFS）的弱映射范畴。对于一个有始对象的范畴上的任意AWFS，协变量替换形成一个comonad，并且与AWFS相关联的（左）弱映射的范畴根据定义是这个comonad的Kleisli范畴。我们展示类别的弱映射作为一种“同伦类”，自由邻接的一节，为每一个“非循环纤维化”（=右映射）的AWFS;并使用这种特性，我们给一个替代的描述类别的弱映射的跨度与左腿的非循环纤维化。此外，我们表明，2-函子发送每个AWFS在一个合适的类别，其coordinant更换comonad有一个完全忠实的右伴随：所以展示理论的comonads，和对偶的单子，纳入理论的AWFS。我们还介绍了各种应用的一般理论：一般草图木下，电力竹山，二维单子理论的布莱克威尔凯利电力，并理论的DG类。
2015-09-14 math.AT math.CT
Algebraic Definition of weak ($\infty$; n)-Categories
本文在$\infty$ -图的范畴$\infty$ - $\mathbb{G}\text{r}$上定义了单子序列$\mathbb{T}^(\infty;n)$ $(n\in\mathbb{N})$.我们猜想定义在纯代数环境中的$\mathbb{T}^(0;n)$的代数是弱$\infty$ -广群胚的模型。对于所有的$n>1$，我们猜想定义在纯代数环境中的$\mathbb{T}^(\infty;n)$的代数是弱$(\infty; n)$ -范畴的模型.
2012-08-03 math.CT math.KT
From weak cofibration categories to model categories
在[BaSc 2]中，作者引入了一个比模型范畴弱得多的同伦结构，称为“弱上纤维化范畴”。我们进一步证明了一个小的弱上纤维化范畴在它的ind-范畴上自然地导出一个模型范畴结构，只要ind-范畴满足某个三取二的性质。本文的目的是作为上述论文的一个补充，证明了如果弱上纤维化范畴中存在某种性质或结构，那么同一性质或结构在ind-范畴上的诱导模型结构中也成立。也就是说，我们考虑了左真的性质和幺半范畴的结构以及在幺半范畴上张量的范畴（以一种与弱上纤维化结构相容的方式）。为了将来的参考，我们考虑更一般的情况，我们只有一个“几乎模型结构”的ind范畴。
2016-10-25 math.AT math.CT
Subword representations and weak hypercube dimension for acyclic categories
Universidade de Santiago de Compostela（圣地亚哥德孔波斯特拉大学）
研究有限无环范畴，通过忠实嵌入到子词范畴引入弱超立方体表示类似物，刻画允许该表示的范畴，给出构造性证明及明确单词表示，还引入查询博弈得到弱单词维数上界。
2026-07-10 cs.DM math.CO math.CT
Weakly Markov categories and weakly affine monads
本文提出弱马尔可夫范畴和弱仿射单子，介于gs-幺半范畴与马尔可夫范畴之间，推广条件独立性理论，并以有限非零测度单子为例说明其在范畴概率中的应用。
2023-08-25 cs.LO math.CT math.PR
On the Breen-Baez-Dolan stabilization hypothesis for Tamsamani's weak n-categories
我们证明了如果$2k\geq n$，那么一个k-连通弱n-范畴$A$可以"去环“到一个k+1-连通弱n+1-范畴$Y$，其中有$Hom_Y(y,y)\cong A$ .这是Baez和Dolan q-alg/9503002，math/9802029的“稳定化假说”的基本部分。
1998-10-09 math.AT math.CT math.QA
Grothendieck-Verdier duality in categories of bimodules and weak module functors
该研究探讨幺半范畴中Grothendieck-Verdier对偶结构下关联两个张量积的分配子成为同构的条件，借助模范畴视角与内Hom、内上Hom的弱模函子结构展开分析，并以结合代数的双模范畴为例进行具体阐释。
2024-12-12 hep-th math.CT math.QA
Weak representations, representations up to homotopy, and VB-groupoids
本文引入李群胚$G$的弱表示。我还表明，有一个等价的类别之间的类别的2项表示同伦和弱表示的$G$。此外，我证明了任何VB-广群同构于一个与其核广群上的弱表示相关联的作用广群;这种关系定义了$G$的弱表示范畴与$G$上的VB-广群范畴之间的范畴等价。
2017-04-17 math.CT math.DG math.SG
