Saved in:
| Main Authors: | Miao, Hualin, Hou, Huijun, Jia, Xiaodong, Li, Qingguo |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.01546 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Separating domains from algebraic domains
by: Jia, Xiaodong, et al.
Published: (2025)
by: Jia, Xiaodong, et al.
Published: (2025)
$ω$-well-filtered spaces, revisited
by: Miao, Hualin, et al.
Published: (2024)
by: Miao, Hualin, et al.
Published: (2024)
Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)
by: Savelyev, Yasha
Published: (2024)
On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)
by: Abraham, Uri, et al.
Published: (2023)
On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)
by: Herbelin, Hugo
Published: (2024)
Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)
by: Conradie, Willem, et al.
Published: (2025)
Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)
by: Perticone, Lorenzo, et al.
Published: (2023)
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)
The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)
by: Gratzer, Daniel, et al.
Published: (2026)
A formulation of D-institution using functor categories
by: Hashimoto, Go
Published: (2026)
by: Hashimoto, Go
Published: (2026)
Some Consistent Power Constructions
by: Zhou, Chengyu, et al.
Published: (2025)
by: Zhou, Chengyu, et al.
Published: (2025)
On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)
by: Vialard, Isa
Published: (2022)
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
by: Aristote, Quentin
Published: (2025)
by: Aristote, Quentin
Published: (2025)
Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)
by: Hart, Perry, et al.
Published: (2024)
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)
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)
Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)
by: Earnshaw, Matthew, et al.
Published: (2026)
A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)
by: Benjamin, Thibaut, et al.
Published: (2026)
A type-theoretic approach to semistrict higher categories
by: Rice, Alex
Published: (2025)
by: Rice, Alex
Published: (2025)
A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)
by: Benjamin, Thibaut
Published: (2021)
Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)
by: Cioffo, Cipriano Junior, et al.
Published: (2025)
Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)
by: Benjamin, Thibaut, et al.
Published: (2021)
Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)
by: Ding, Yifeng, et al.
Published: (2024)
Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)
by: Kuznetsov, Stepan L., et al.
Published: (2024)
Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)
by: Li, Dazhu, et al.
Published: (2025)
Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)
by: Baltag, Alexandru, et al.
Published: (2022)
A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)
by: Tu, Yaxin, et al.
Published: (2025)
homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)
by: Corbyn, Nathan, et al.
Published: (2024)
Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)
by: Areces, Carlos, et al.
Published: (2025)
Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
by: Vienney, Jean-Baptiste
Published: (2026)
by: Vienney, Jean-Baptiste
Published: (2026)
Logical relations for call-by-push-value models, via internal fibrations in a 2-category
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2025)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2025)
A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
by: Vienney, Jean-Baptiste
Published: (2023)
by: Vienney, Jean-Baptiste
Published: (2023)
Vibe Coding an LLM-powered Theorem Prover
by: Hou, Zhe
Published: (2026)
by: Hou, Zhe
Published: (2026)
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)
by: Ackerman, Nathanael L., et al.
Published: (2023)
FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
by: Yang, Ziyi, et al.
Published: (2025)
by: Yang, Ziyi, et al.
Published: (2025)
Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)
by: Afshari, Bahareh, et al.
Published: (2024)
Similar Items
-
Separating domains from algebraic domains
by: Jia, Xiaodong, et al.
Published: (2025) -
$ω$-well-filtered spaces, revisited
by: Miao, Hualin, et al.
Published: (2024) -
Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024) -
On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023) -
On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)