Results 1 to 10 of about 1,597 (43)
Weak omega-categories from intensional type theory [PDF]
Logical Methods in Computer Science, 2010 We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster.
Peter LeFanu Lumsdaine
doaj +1 more source
Semantics of Higher-Order Recursion Schemes [PDF]
Logical Methods in Computer Science, 2011 Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted semantics in every Scott's model of \lambda-calculus in which the ...
Jiri Adamek, Stefan Milius, Jiri Velebil
doaj +1 more source
The fusion algebra of bimodule categories [PDF]
, 2007 We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories.
A. Joyal +30 more
core +1 more source
Invertible defects and isomorphisms of rational CFTs [PDF]
, 2010 Given two two-dimensional conformal field theories, a domain wall —or defect line— between them is called invertible if there is another defect with which it fuses to the identity defect.
Davydov, Alexei +2 more
core +3 more sources
Unifying Cubical Models of Univalent Type Theory [PDF]
, 2020 We present a new constructive model of univalent type theory based on cubical sets. Unlike prior work on cubical models, ours depends neither on diagonal cofibrations nor connections.
, Cavallo, Evan, Swan, Andrew W
core +1 more source
Pseudo-dualizing complexes and pseudo-derived categories
, 2020 The definition of a pseudo-dualizing complex is obtained from that of a dualizing complex by dropping the injective dimension condition, while retaining the finite generatedness and homothety isomorphism conditions.
Positselski, Leonid
core +1 more source
Enriched Stone-type dualities [PDF]
, 2017 A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice.
Hofmann, Dirk, Nora, Pedro
core +2 more sources
Matlis category equivalences for a ring epimorphism
, 2020 Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories
Bazzoni, Silvana, Positselski, Leonid
core +1 more source
A note on permutation twist defects in topological bilayer phases [PDF]
, 2013 We present a mathematical derivation of some of the most important physical quantities arising in topological bilayer systems with permutation twist defects as introduced by Barkeshli et al. in cond-mat/1208.4834.
Fuchs, Jürgen, Schweigert, Christoph
core +1 more source
The co-stability manifold of a triangulated category [PDF]
, 2011 Stability conditions on triangulated categories were introduced by Bridgeland as a 'continuous' generalisation of t-structures. The set of locally-finite stability conditions on a triangulated category is a manifold which has been studied intensively ...
Aihara +2 more
core +5 more sources