Skip to content
<title>Channels - Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
Search for more channels:
Similar Items: Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
Channel Options
View Record
Explore related channels
Quick Look
Rule Algebras for Adhesive Categories
Quick Look
On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
Quick Look
How to glue derived categories
Quick Look
Dynamic Cantor Derivative Logic
Quick Look
The Derivational Complexity Induced by the Dependency Pair Method
Quick Look
Displayed Categories
Quick Look
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
Quick Look
Cartesian Difference Categories
Quick Look
Deriving Probability Density Functions from Probabilistic Functional Programs
Quick Look
Query learning of derived $omega$-tree languages in polynomial time
Quick Look
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Quick Look
Aczel-Mendler Bisimulations in a Regular Category
Quick Look
String Diagrams for Premonoidal Categories
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
A Linear Category of Polynomial Functors (extensional part)
Quick Look
Arboreal Categories: An Axiomatic Theory of Resources
Quick Look
From Proof Nets to the Free *-Autonomous Category
Quick Look
Compactly accessible categories and quantum key distribution
Quick Look
Constructing categories and setoids of setoids in type theory
Quick Look
Some remarks on connectors and groupoids in Goursat categories
Quick Look
On some categorical-algebraic conditions in S-protomodular categories
Quick Look
Derivative-Informed Neural Operator Acceleration of Geometric MCMC for Infinite-Dimensional Bayesian Inverse Problems
Load more items
View Record
Prev
Explore related channels
Next
