- arXiv.org
- Biological Physics
- Applied Physics
- History and Philosophy of Physics
- Data Analysis, Statistics and Probability
- Fluid Dynamics
- Optics
- Physics and Society
- General Physics
- Popular Physics
- Space Physics
- Plasma Physics
- Atomic Physics
- Medical Physics
- Atomic and Molecular Clusters
- Physics Education
- Accelerator Physics
- Computational Physics
- Classical Physics
- Atmospheric and Oceanic Physics
- Instrumentation and Detectors
- Geophysics
- Chemical Physics

- History and Overview
- General Mathematics
- Analysis of PDEs
- Statistics Theory
- Number Theory
- Information Theory
- Combinatorics
- Representation Theory
- Mathematical Physics
- Probability
- Algebraic Geometry
- Operator Algebras
- Group Theory
- Complex Variables
- Symplectic Geometry
- General Topology
- Dynamical Systems
- Optimization and Control
- Numerical Analysis
- Geometric Topology
- Quantum Algebra
- Logic
- Differential Geometry
- Metric Geometry
- Algebraic Topology
- K-Theory and Homology
- Functional Analysis
- Commutative Algebra
- Category Theory
- Classical Analysis and ODEs
- Spectral Theory
- Rings and Algebras

- General Literature
- Neural and Evolutionary Computing
- Hardware Architecture
- Information Theory
- Symbolic Computation
- Mathematical Software
- Operating Systems
- Learning
- Computer Vision and Pattern Recognition
- Information Retrieval
- Multiagent Systems
- Social and Information Networks
- Formal Languages and Automata Theory
- Sound
- Databases
- Software Engineering
- Programming Languages
- Artificial Intelligence
- Other Computer Science
- Computational Complexity
- Discrete Mathematics
- Computer Science and Game Theory
- Cryptography and Security
- Human-Computer Interaction
- Numerical Analysis
- Systems and Control
- Distributed, Parallel, and Cluster Computing
- Emerging Technologies
- Robotics
- Computation and Language
- Data Structures and Algorithms
- Multimedia
- Computational Geometry
- Logic in Computer Science
- Computers and Society
- Networking and Internet Architecture
- Performance
- Computational Engineering, Finance, and Science
- Digital Libraries
- Graphics

- We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local DG-Artin ring.
- Although the notion of crossed groups was originally introduced only in the simplicial case, the definition makes sense in the other categories. For instance, Batanin and Markl studied crossed interval groups to investigate symmetries on the Hochschild cohomology in view of operads. The aim of this paper is to make a comprehensive understanding of crossed groups for arbitrary base categories. In particular, we focus on the local presentability of the category of crossed groups, monadicity, and the basechange theorem along certain sorts of functors. The paper also contains the classification of crossed interval groups, which Batanin and Markl concerned about.
- We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $\mathcal{F}(A)$. We pay particular attention to the divisibility pre-order and to the monoid $A=D\setminus\{0\}$ where $D$ is an integral domain. The objects of $\mathcal{F}(A)$ are factorizations of elements of $A$, and the morphisms in $\mathcal{F}(A)$ encode combinatorial similarities and differences between the factorizations. Among other results, we show that $\mathcal{F}(A)$ is a category with weak equivalences and compute the associated homotopy category. Also, we use this construction to characterize various factorization properties of integral domains: atomicity, unique factorization, and so on.
- Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more sophisticated notion due to Garner (referred to as algebraically cofibrantly generated) the set of maps is replaced with a diagram over a small category. We give a yet more general definition where the set or diagram of maps is replaced with a vertical map in a Grothendieck fibration. In addition to an interesting new view of the existing examples above, we get new notions, such as computable lifting problems in presheaf assemblies, and internal lifting problems in a topos. We show that under reasonable conditions one can define a notion of universal lifting problem and carry out step-one of Garner's small object argument. We give explicit descriptions of what the general construction looks like in some examples.

Categorical Quantum Mechanics I: Causal Quantum Processes

Aram Harrow Oct 21 2015 02:56 UTCMāris Ozols Oct 20 2015 23:50 UTC

There's a TODO note missing on page 24 saying: "Remove TODO notes"

- Supported by Silverpond.