[图书][B] Sketches of an Elephant: A Topos Theory Compendium: Volume 2
PT Johnstone - 2002 - books.google.com
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and
theoretical computer science, and it derives much of its power from the interplay of ideas …
theoretical computer science, and it derives much of its power from the interplay of ideas …
Framed bicategories and monoidal fibrations
MA Shulman - arXiv preprint arXiv:0706.1286, 2007 - arxiv.org
In some bicategories, the 1-cells aremorphisms' between the 0-cells, such as functors
between categories, but in others they areobjects' over the 0-cells, such as bimodules …
between categories, but in others they areobjects' over the 0-cells, such as bimodules …
A 2-categories companion
S Lack - Towards higher categories, 2009 - Springer
A 2-CATEGORIES COMPANION 1. Overview and basic examples. This paper is a rather
informal guide to some of the basic theory of 2- Page 1 A 2-CATEGORIES COMPANION …
informal guide to some of the basic theory of 2- Page 1 A 2-CATEGORIES COMPANION …
[图书][B] Call-by-push-value: A Functional/imperative Synthesis
PB Levy - 2012 - books.google.com
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the
call-by-value and call-by-name paradigms into simple primitives. This monograph, written for …
call-by-value and call-by-name paradigms into simple primitives. This monograph, written for …
[PDF][PDF] Enriched categories, internal categories and change of base
D Verity - 1992 - emis.de
As soon as we move into the world of enriched, internal or fibered categories we are
challenged to consider the way in which categorical properties of those structures transform …
challenged to consider the way in which categorical properties of those structures transform …
Cartesian bicategories II
A Carboni, GM Kelly, RF Walters, RJ Wood - arXiv preprint arXiv …, 2007 - arxiv.org
arXiv:0708.1921v1 [math.CT] 14 Aug 2007 Page 1 arXiv:0708.1921v1 [math.CT] 14 Aug 2007
CARTESIAN BICATEGORIES II A. CARBONI, GM KELLY, RFC WALTERS, AND RJ WOOD …
CARTESIAN BICATEGORIES II A. CARBONI, GM KELLY, RFC WALTERS, AND RJ WOOD …
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads
A Karamlou, N Shah - Proceedings of the 39th Annual ACM/IEEE …, 2024 - dl.acm.org
Monads and comonads are important constructions from category theory which find
widespread application in computer science and other related disciplines. Distributive laws …
widespread application in computer science and other related disciplines. Distributive laws …
[PDF][PDF] Entity-relationship-attribute designs and sketches
M Johnson, R Rosebrugh… - Theory and Applications of …, 2002 - science.mq.edu.au
Entity-Relationship-Attribute ideas are commonly used to specify and design information
systems. They use a graphical technique for displaying the objects of the system and …
systems. They use a graphical technique for displaying the objects of the system and …
Operads in higher-dimensional category theory
T Leinster - arXiv preprint math/0011106, 2000 - arxiv.org
The purpose of this dissertation is to set up a theory of generalized operads and
multicategories, and to use it as a language in which to propose a definition of weak n …
multicategories, and to use it as a language in which to propose a definition of weak n …
[PDF][PDF] The span construction
R Dawson, R Paré, D Pronk - Theory and Applications of Categories, 2010 - tac.mta.ca
We present two generalizations of the Span construction. The first generalization gives Span
of a category with all pullbacks as a (weak) double category. This double category Span A …
of a category with all pullbacks as a (weak) double category. This double category Span A …