Pages that link to "Item:Q4087978"
From MaRDI portal
The following pages link to Topology and logic as a source of algebra (Q4087978):
Displaying 34 items.
- Combinatorial Hopf algebras from PROs (Q314061) (← links)
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- Duality functors for triple vector bundles (Q844122) (← links)
- Closed categories and the theory of proofs (Q1147133) (← links)
- On the relationship between algebra and analysis (Q1149950) (← links)
- Natural transformations of the superpositions of distinguished functors in certain closed categories (Q1270459) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- G-dinaturality. (Q1400601) (← links)
- The category of finite sets and Cartesian closed categories (Q1838563) (← links)
- From non-unitary wheeled PROPs to smooth amplitudes and generalised convolutions (Q2097289) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- A categorical approach to Picard-Vessiot theory (Q2981746) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- A simplicial model for infinity properads (Q3121011) (← links)
- Quantization of quasi-Lie bialgebras (Q3584358) (← links)
- Coherence in Nonmonoidal Closed Categories (Q4092159) (← links)
- Infinite loop space theory (Q4130106) (← links)
- Frobenius reciprocity of differentiable representations (Q4405389) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- Span composition using fake pullbacks (Q5004663) (← links)
- Cauchy completeness for DG-categories (Q5006463) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Protoperads i: Combinatorics and definitions (Q5094696) (← links)
- Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective (Q5096248) (← links)
- A Koszul duality for props (Q5297035) (← links)
- Structure of categories (Q5517689) (← links)
- Real Characters and the Radical of an Abelian Group (Q5551270) (← links)
- An algebraic dualization of fundamental groups (Q5572927) (← links)
- An Elementary Theory of the Category of Topological Spaces (Q5605707) (← links)
- Morita Theorems for Functor Categories (Q5655523) (← links)
- The Completion of an Abelian Category (Q5685253) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- Labelled cospan categories and properads (Q6051108) (← links)
