scientific article; zbMATH DE number 3522194
From MaRDI portal
Publication:4100671
Cited in
(only showing first 100 items - show all)- A presentation of topoi as algebraic relative to categories or graphs
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Variation through enrichment
- A universal property of the convolution monoidal structure
- Categorical aspects of data type constructors
- Ideals of closed categories
- The algebra of oriented simplexes
- A general coherence result
- Strong conceptual completeness for first-order logic
- Local adjunctions
- Two-dimensional monad theory
- Equational properties of iteration in algebraically complete categories
- Semi-topological functors III: Lifting of monads and adjoint functors
- Coherence for compact closed categories
- Closed categories, lax limits and homotopy limits
- Conspectus of variable categories
- The geometry of tensor calculus. I
- A characterization of G-categories G-equivalent to the G-category of graded modules over a generalized G-graded algebra
- An algebraic model of synchronous systems
- Conditional rewriting logic as a unified model of concurrency
- Limits indexed by category-valued 2-functors
- Soft adjunction between 2-categories
- On the equivariant \(2\)-type of a \(G\)-space
- Some properties of Fib as a fibred \(2\)-category
- Structures and diagrammatics of four dimensional topological lattice field theories
- Tortile tensor categories
- Modulated bicategories
- 2-categories and 2-knots
- Monoidal bicategories and Hopf algebroids
- Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras
- Modular functors in homotopy quantum field theory and tortile structures.
- A representation result for free cocompletions
- Categories of representations of coalgebroids
- A simple characterization of theories of varieties
- Combining a monad and a comonad
- Beck's theorem for pseudo-monads
- Commutativity in double interchange semigroups
- Sigma limits in 2-categories and flat pseudofunctors
- Hopf monoids in varieties
- \(K\)-theory for 2-categories
- Strongly fibered objects and spaces
- Levelwise modules over separable monads on stable derivators
- The cut operation on matrix factorisations
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- Group actions on 2-categories
- A general limit lifting theorem for 2-dimensional monad theory
- Group actions on categories and Elagin's theorem revisited
- Locating reaction with 2-categories
- Gauge transformations for categorical bundles
- Steps and traces
- An axiomatics for bicategories of modules
- Equational logic of circular data type specification
- Codescent objects and coherence
- The formal theory of monads. II
- Distributive laws and factorization
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
- Extending localization functors
- Monads for which structures are adjoint to units
- Homotopy theory, and change of base for groupoids and multiple groupoids
- Derivators, pointed derivators and stable derivators
- Stabilization of derivators revisited
- Cohen-Montgomery duality for pseudo-actions of a group
- Noncommutative differential \(K\)-theory
- Semantic factorization and descent
- Parametrized fixed points and their applications to session types
- Morphisms of open games
- The theory of half derivators
- Algebraic models of change of groups functors in (co)free rational equivariant spectra
- On lax epimorphisms and the associated factorization
- Accessible aspects of 2-category theory
- Contractible exact squares
- Conservative descent for semi-orthogonal decompositions
- Cofibrantly generated lax orthogonal factorisation systems
- Relational presheaves, change of base and weak simulation
- The 2-category theory of quasi-categories
- Strong shape in categories enriched over groupoids
- Ordinals in Frobenius monads
- Skew-closed categories
- Monoidal algebraic model structures
- A generalization of Gabriel's Galois covering functors. II: 2-categorical Cohen-Montgomery duality
- Real sets
- Wreaths, mixed wreaths and twisted coactions
- Universal properties of bicategories of polynomials
- Polycategories via pseudo-distributive laws
- Two-dimensional monadicity
- Traces in monoidal derivators, and homotopy colimits
- 2-categorical aspects of strong shape
- Yoneda structures from 2-toposes
- A variety theorem for relational universal algebra
- G_-ring spectra and Moore spectra for -rings
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- On algebras over multicategories
- Well-behaved translations between structural operational semantics
- Deriving bisimulation congruences: a 2-categorical approach
- Induction, coinduction, and adjoints
- The bicategory-theoretic solution of recursive domain equations
- Van Kampen colimits as bicolimits in Span
- Structural operational semantics and modal logic, revisited
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4100671)
