Commentationes Mathematicae Universitatis Carolinae Page 1 Commentationes
Mathematicae Universitatis Carolinae Jiří Adámek; Václav Koubek Cartesian closed functor-structured …

arXiv:0904.2486v1 [math.CT] 16 Apr 2009 Page 1 arXiv:0904.2486v1 [math.CT] 16 Apr 2009
The category of categories with pullbacks is cartesian closed John Bourke email:johnb@maths.usyd.edu.au …

Commentationes Mathematicae Universitatis Carolinae Page 1 Commentationes
Mathematicae Universitatis Carolinae Věra Kůrková-Pohlová; Václav Koubek When a …

The pair consisting of a category and a univalent functor from to a category is called a
structured category. If and are two such pairs, then a functor is structured if. Conditions are …

In this paper we develop the theory of topological categories over a base category, that is, a
theory of topological functors. Our notion of topological functor is similar to (but not the same) …

Properties of Set Functors⋆ Page 1 Properties of Set Functors⋆ Daniela Cancila1 Furio
Honsell2 Marina Lenisa3 ,4 Dipartimento di Matematica e Informatica, Universit`a di Udine, Via …

ordinary category would be the category of Y-functors from! to and V-natural transformations
between them. We present here some observations on the problem. The remarks in the …

LOCALLY CARTESIAN CLOSED CATEGORIES WITHOUT CHOSEN CONSTRUCTIONS 1.
Introduction 2. Anafunctors Page 1 Theory and Applications of Categories, Vol. 20, No. 1, 2008 …

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-
products is distributive. Usually, the proof of this small result is carried on using the fact that …

We construct a star-autonomous structure on the functor category KJ, where J is small, K is
small-complete, and both are star-autonomous. A weaker result, that KJ admits a linear …