The following pages link to Catégories structurées (Q5335344):
Displaying 50 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- The glueing construction and double categories (Q456855) (← links)
- A new formulation of higher parallel transport in higher gauge theory (Q491936) (← links)
- The derived category of complex periodic \(K\)-theory localized at an odd prime (Q509676) (← links)
- Monads in double categories (Q531324) (← links)
- Bar and cobar constructions. II (Q579690) (← links)
- A Thomason model structure on the category of small \(n\)-fold categories (Q600804) (← links)
- On monoids in the category of sets and relations (Q682629) (← links)
- 2-Segal sets and the Waldhausen construction (Q684016) (← links)
- Algebraic classification of equivariant homotopy 2-types. I (Q687589) (← links)
- Model structures on the category of small double categories (Q1007175) (← links)
- Multiple categories and algebraic K-theory (Q1084168) (← links)
- Determination of a double Lie groupoid by its core diagram (Q1196822) (← links)
- Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories) (Q1262937) (← links)
- 2-categories and 2-knots (Q1341277) (← links)
- Towards a 2-dimensional notion of holonomy. (Q1404974) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Commutativity in double interchange semigroups (Q1633195) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Yetter-Drinfeld modules for crossed structures. (Q1877770) (← links)
- Derivators, pointed derivators and stable derivators (Q1941810) (← links)
- A note on the \((\infty,n)\)-category of cobordisms (Q2000777) (← links)
- Gluing pseudo functors via \(n\)-fold categories (Q2012173) (← links)
- Comparison of Waldhausen constructions (Q2045749) (← links)
- Dévissage and localization for the Grothendieck spectrum of varieties (Q2105742) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Towards a \(2\)-dimensional notion of holonomy (Q2161920) (← links)
- Iterated traces in 2-categories and Lefschetz theorems (Q2163649) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Relative matched pairs of finite groups from depth two inclusions of von Neumann algebras to quantum groupoids (Q2426501) (← links)
- An orthogonal approach to algebraic weak factorisation systems (Q2689175) (← links)
- Tiling transactions in rewriting logic (Q2851050) (← links)
- (Q3050613) (← links)
- PARALLEL TRANSPORT OVER PATH SPACES (Q3064118) (← links)
- Internalizing decorated bicategories: The globularily generated condition (Q3120394) (← links)
- (Q3305545) (← links)
- (Q3423074) (← links)
- (Q3429780) (← links)
- (Q3667051) (← links)
- (Q4032928) (← links)
- (Q4097071) (← links)
- (Q4138878) (← links)
- Morphisms between spaces of leaves viewed as fractions (Q4204815) (← links)
- (Q4405609) (← links)
- (Q4652984) (← links)
- (Q4826149) (← links)
- (Q4933938) (← links)
- Further remarks on group-2-groupoids (Q5000069) (← links)
