Skip to content
<title>Channels - Universal Constructions for (Co)Relations: categories, monoidal categories, and props :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Search for more channels:
Similar Items: Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Channel Options
View Record
Explore related channels
Quick Look
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Constructing categories and setoids of setoids in type theory
Quick Look
Displayed Categories
Quick Look
Cartesian Difference Categories
Quick Look
Rule Algebras for Adhesive Categories
Quick Look
String Diagrams for Premonoidal Categories
Quick Look
Sectional Category of the Ganea Fibrations and Higher Relative Category
Quick Look
Arboreal Categories: An Axiomatic Theory of Resources
Quick Look
Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
Quick Look
From Proof Nets to the Free *-Autonomous Category
Quick Look
Compactly accessible categories and quantum key distribution
Quick Look
Some remarks on connectors and groupoids in Goursat categories
Quick Look
On some categorical-algebraic conditions in S-protomodular categories
Quick Look
Aczel-Mendler Bisimulations in a Regular Category
Quick Look
Completeness of Nominal PROPs
Quick Look
Monadic Second Order Logic with Measure and Category Quantifiers
Quick Look
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Quick Look
Weak omega-categories from intensional type theory
Quick Look
A Linear Category of Polynomial Functors (extensional part)
Quick Look
Lax orthogonal factorisations in monad-quantale-enriched categories
Quick Look
On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
Quick Look
Monoidal Width
Load more items
View Record
Prev
Explore related channels
Next
