Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.04939 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
by: Li, Lingqiang, et al.
Published: (2024)
by: Li, Lingqiang, et al.
Published: (2024)
Oligomorphic groups and tensor categories
by: Harman, Nate, et al.
Published: (2022)
by: Harman, Nate, et al.
Published: (2022)
Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)
by: Savelyev, Yasha
Published: (2024)
Stratified L-convex groups
by: Li, Lingqiang, et al.
Published: (2024)
by: Li, Lingqiang, et al.
Published: (2024)
Categorial grammars with unique category assignment
by: Vishnikin, Maxim, et al.
Published: (2025)
by: Vishnikin, Maxim, et al.
Published: (2025)
Universal categories
by: Schoutens, Hans
Published: (2025)
by: Schoutens, Hans
Published: (2025)
Effective weak convergence and tightness of measures in computable Polish spaces
by: Rojas, Diego A.
Published: (2024)
by: Rojas, Diego A.
Published: (2024)
A new categorial equivalence for Stone Algebras
by: Calomino, Ismael, et al.
Published: (2025)
by: Calomino, Ismael, et al.
Published: (2025)
The category of well-filtered dcpos is not $Γ$-faithful
by: Miao, Hualin, et al.
Published: (2024)
by: Miao, Hualin, et al.
Published: (2024)
Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)
by: Jankovec, Filip
Published: (2025)
The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)
by: Russo, Ciro
Published: (2025)
Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)
by: Perticone, Lorenzo, et al.
Published: (2023)
The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)
by: Gratzer, Daniel, et al.
Published: (2026)
Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
by: Slavnov, Sergey
Published: (2023)
by: Slavnov, Sergey
Published: (2023)
In between myth and reality: AI for math -- a case study in category theory
by: Diaconescu, Răzvan
Published: (2025)
by: Diaconescu, Răzvan
Published: (2025)
Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)
by: Walch, Aymeric
Published: (2025)
Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)
by: Arsac, Samuel, et al.
Published: (2025)
Embedding stable groups into algebraic groups
by: Bartnick, Charlotte
Published: (2025)
by: Bartnick, Charlotte
Published: (2025)
Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
by: Rybakov, M., et al.
Published: (2025)
by: Rybakov, M., et al.
Published: (2025)
Remarks on convergence of Morley sequences
by: Khanaki, Karim
Published: (2021)
by: Khanaki, Karim
Published: (2021)
A formulation of D-institution using functor categories
by: Hashimoto, Go
Published: (2026)
by: Hashimoto, Go
Published: (2026)
Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)
by: Benjamin, Thibaut, et al.
Published: (2024)
The internal languages of univalent categories
by: van der Weide, Niels
Published: (2024)
by: van der Weide, Niels
Published: (2024)
Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)
by: Aoki, Ko
Published: (2025)
Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)
by: Kuznetsov, Stepan L., et al.
Published: (2024)
Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)
by: Asgeirsson, Dagur
Published: (2023)
Computability of dimension groups
by: Sabitova, Maria
Published: (2025)
by: Sabitova, Maria
Published: (2025)
A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)
by: Almeida, Daniel
Published: (2025)
Hofmann-Streicher lifting of fibred categories
by: Slattery, Andrew, et al.
Published: (2025)
by: Slattery, Andrew, et al.
Published: (2025)
Unbiasing symmetric monoidal categories in Lean
by: Carlier, Robin
Published: (2026)
by: Carlier, Robin
Published: (2026)
A dagger kernel category of complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)
by: Botur, Michal, et al.
Published: (2025)
Absolute convergence and Taylor expansion in web based models of Linear Logic
by: Tasson, Christine, et al.
Published: (2026)
by: Tasson, Christine, et al.
Published: (2026)
Valued fields, Metastable groups
by: Hrushovski, Ehud, et al.
Published: (2017)
by: Hrushovski, Ehud, et al.
Published: (2017)
On groups well represented as automorphism groups of groups
by: Asgharzadeh, Mohsen, et al.
Published: (2024)
by: Asgharzadeh, Mohsen, et al.
Published: (2024)
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
by: Aristote, Quentin
Published: (2025)
by: Aristote, Quentin
Published: (2025)
Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)
by: Uemura, Taichi
Published: (2024)
Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)
by: Earnshaw, Matthew, et al.
Published: (2026)
On effective constructions of existentially closed groups
by: Scott, I
Published: (2024)
by: Scott, I
Published: (2024)
On f-generic types in NIP groups
by: Stonestrom, Atticus
Published: (2023)
by: Stonestrom, Atticus
Published: (2023)
Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)
by: Frącek, Maciej, et al.
Published: (2025)