Categories (Mathematics)

Introduction to higher order categorical logic / by: (Language materials, printed)

Triangular products of group representations and their applications / by: (Language materials, printed)

On the classification of 2-gerbes and 2-stacks / by: (Language materials, printed)

On the Andre-Quillen cohomology of commutative F2-algebras / by: (Language materials, printed)

Quantum groups and knot invariants / by: (Language materials, printed)

Uncountably categorical theories / by: (Language materials, printed)

Accessible categories : = the foundations of categorical model theory / by: (Language materials, printed)

Categorical closure operators / by: (Language materials, printed)

Categories for Software Engineering by: (Language materials, printed)

Homotopical algebraic geometry II : = geometric stacks and applications / by: (Language materials, printed)

Handbook of categorical algebra / by: (Language materials, printed)

Foundations of Grothendieck duality for diagrams of schemes / by: (Language materials, printed)

Representations of semisimple Lie algebras in the BGG category O / by: (Language materials, printed)

Higher operads, higher categories / by: (Language materials, printed)

Foundations of Grothendieck duality for diagrams of schemes by: (Language materials, printed)

Higher topos theory / by: (Language materials, printed)

Longitudinal categorical data analysis by: (Electronic resources)

Set operads in combinatorics and computer science by: (Electronic resources)

Special topics in mathematics for computer scientists = sets, categories, topologies and measures / by: (Electronic resources)

Mathematical modelling by help of category theory = abstract perspectives on models and coupling of models / by: (Electronic resources)

(Co)end calculus by: (Electronic resources)

Hodge cycles, motives, and Shimura varieties / by: (Language materials, printed)

Algebraic homotopy / by: (Language materials, printed)

Approach spaces : = the missing link in the topology-uniformity-metric triad / by: (Language materials, printed)

Category Theory by: (Language materials, printed)

Virtual topology and functor geometry / by: (Language materials, printed)

Combinatorial Algebraic Topology. by: (Language materials, printed)

Category theory / by: (Language materials, printed)

Towards higher categories by: (Language materials, printed)

Structured ring spectra / by: (Language materials, printed)

Complicial sets characterising the simplical nerves of strict [omega]-categories / by: (Language materials, printed)

Categorical variables in developmental research = methods of analysis / by: (Electronic resources)

Lectures on algebraic categorification / by: (Language materials, printed)

Homotopy theory of higher categories : = from segal categories to n-categories and beyond / by: (Language materials, printed)

Categorical logic and type theory by: (Electronic resources)

Extended graphical calculus for categorified quantum sl(2) / by: (Language materials, printed)

Infinite-dimensional representations of 2-groups / by: (Language materials, printed)

Axiomatic method and category theory by: (Electronic resources)

A new foundation for representation in cognitive and brain science = category theory and the hippocampus / by: (Electronic resources)

Infinity properads and infinity wheeled properads / by: (Language materials, printed)

Infinity properads and infinity wheeled properads by: (Electronic resources)

Iconicity and abduction by: (Electronic resources)

An introduction to the language of category theory by: (Electronic resources)

Mathematical structures of natural intelligence by: (Electronic resources)

Lectures on categorical data analysis by: (Electronic resources)

From categories to homotopy theory / by: (Language materials, printed)

Higher dimensional categories : = from double to multiple categories / by: (Language materials, printed)

Skew PBW extensions = ring and module-theoretic properties, matrix and Grobner methods, and applications / by: (Electronic resources)

Categories for quantum theory : = an introduction / by: (Language materials, printed)

Algebraic homotopy by: (Electronic resources)

From categories to homotopy theory by: (Electronic resources)

Higher categories and homotopical algebra by: (Electronic resources)

Basic category theory by: (Electronic resources)

Algebraic theories = a categorical introduction to general algebra / by: (Electronic resources)

Module categories of analytic groups by: (Electronic resources)

Introduction to infinity-categories by: (Electronic resources)

Simplicial methods for higher categories = segal-type models of weak n-categories / by: (Electronic resources)

Introduction to Soergel bimodules by: (Electronic resources)

Involutive category theory by: (Electronic resources)

Elements of [infinity]-category theory / by: (Language materials, printed)

Entropy and diversity : = the axiomatic approach / by: (Language materials, printed)

Manifolds and local structures : = a general theory / by: (Language materials, printed)

2-dimensional categories / by: (Language materials, printed)

Interactions of quantum affine algebras with cluster algebras, current algebras and categorification = in honor of Vyjayanthi Chari on the occasion of her 60th birthday / by: (Electronic resources)

Elements of [infinity]-category theory by: (Electronic resources)

Programs as diagrams = from categorical computability to computable categories / by: (Electronic resources)

Analysis of categorical data from historical perspectives = essays in honour of Shizuhiko Nishisato / by: (Electronic resources)

Starting category theory / by: (Language materials, printed)

Introducing string diagrams = the art of category theory / by: (Electronic resources)

Derived category methods in commutative algebra by: (Electronic resources)

Lectures on advanced topics in categorical data analysis by: (Electronic resources)

A first course in category theory by: (Electronic resources)

A tour of representation theory / by: (Electronic resources)

Category theory using Haskell = an introduction with Moggi and Yoneda / by: (Electronic resources)