arXiv 2018-01-27 EN The 3x3 lemma in the Σ-Maltsev and Σ-protomodular settings. Applications to monoids and quandles Bourn, Dominique · Montoli, Andrea
arXiv 2018-01-26 EN Covering morphisms of internal groupoids in the models of a semi-abelian theory Mucuk, Osman · Demir, Serap
arXiv 2018-01-26 EN Topological aspect of monodromy groupoid for a group-groupoid Mucuk, Osman · Demir, Serap
arXiv 2018-01-26 EN Normality and quotient in crossed modules over groupoids and double groupoids Mucuk, Osman · Demir, Serap
arXiv 2018-01-22 EN Binary output layer of feedforward neural networks for solving multi-class classification problems Yang, Sibo · Zhang, Chao · Wu, Wei
arXiv 2018-01-22 EN Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics Ng, Kang Feng · Wang, Quanlong
arXiv 2018-01-09 EN Groupoids and Wreath Products of Musical Transformations: a Categorical Approach from poly-Klumpenhouwer Networks Popoff, Alexandre · Andreatta, Moreno · Ehresmann, Andree
arXiv 2017-12-20 EN Models of Linear Logic based on the Schwartz ε-product Dabrowski, Yoann · Kerjean, Marie
arXiv 2017-12-20 EN Syntactic Forcing Models for Coherent Logic Bezem, Marc · Buchholtz, Ulrik · Coquand, Thierry
