Topics:
- Tom Leinster on set theory (690 messages, latest: Nov 01 2024 at 14:27)
- cartesian virtual double category (8 messages, latest: Oct 29 2024 at 08:00)
- Terminology: quotient of a 2-category (20 messages, latest: Oct 28 2024 at 08:18)
- One universe as a foundation & friends (590 messages, latest: Oct 24 2024 at 17:48)
- non-split fibration (13 messages, latest: Oct 21 2024 at 22:25)
- Fibrations and pullback-preserving functors (30 messages, latest: Oct 18 2024 at 18:28)
- Metrizability for Lawvere metric spaces (6 messages, latest: Oct 16 2024 at 14:30)
- Amplituhedron, associahedron, and related approaches (12 messages, latest: Oct 16 2024 at 06:28)
- Reflective subcategories and colimits (13 messages, latest: Oct 10 2024 at 23:07)
- Pullbacks of Cartesian-closed categories (7 messages, latest: Oct 06 2024 at 11:33)
- Are the Ind and Pro completions of a locally small catego... (1 message, latest: Sep 23 2024 at 02:09)
- Nerve of a strong monoidal functor is lax monoidal (3 messages, latest: Sep 20 2024 at 17:30)
- Dual notion of transfinite composition (3 messages, latest: Sep 20 2024 at 16:59)
- Resolving CT's Typing Issues (47 messages, latest: Sep 20 2024 at 14:29)
- Vector bundles vs internal vector spaces in a topos (38 messages, latest: Sep 19 2024 at 19:21)
- cocontinuity of lax colimit embedding (5 messages, latest: Sep 18 2024 at 15:02)
- Gödel's L (47 messages, latest: Sep 13 2024 at 19:33)
- Syntactic characterization of theories of toposes (6 messages, latest: Sep 12 2024 at 09:39)
- discrete objects (5 messages, latest: Sep 10 2024 at 05:45)
- fibration over loose morphisms of a double category (4 messages, latest: Sep 09 2024 at 08:01)
- Examples of non-polynomial comonads (14 messages, latest: Sep 08 2024 at 21:08)
- infinity-categorical generalisations of topological spaces (5 messages, latest: Sep 05 2024 at 18:42)
- bifunctor spans->rels (8 messages, latest: Sep 05 2024 at 06:10)
- subobject classifiers (48 messages, latest: Sep 03 2024 at 13:31)
- 2-monadicity of toposes (3 messages, latest: Aug 27 2024 at 06:27)
- pullbacks of cofunctors (7 messages, latest: Aug 26 2024 at 02:24)
- Questions on free monoidal categories (85 messages, latest: Aug 23 2024 at 21:00)
- pseudo multicategories (15 messages, latest: Aug 22 2024 at 18:29)
- Join / Slice for multicategories (7 messages, latest: Aug 19 2024 at 15:55)
- Inverse image subcategory (14 messages, latest: Aug 14 2024 at 20:27)
- uncomputable endofunctors on FinSet (69 messages, latest: Aug 14 2024 at 15:15)
- "homset" hyperdoctrine (4 messages, latest: Aug 06 2024 at 20:52)
- Value of HSP theorem (29 messages, latest: Aug 06 2024 at 10:24)
- New category from an endofunctor (61 messages, latest: Aug 03 2024 at 07:56)
- Dealing with Large Sites (19 messages, latest: Aug 02 2024 at 03:52)
- Categorifying energetic sets (62 messages, latest: Aug 01 2024 at 06:55)
- Virtual equipments as categorified operads? (16 messages, latest: Jul 30 2024 at 12:57)
- Slice categories of slice categories (58 messages, latest: Jul 30 2024 at 00:04)
- Classical model theory for Boolean hyperdoctrines (4 messages, latest: Jul 27 2024 at 11:05)
- (ID my structure) operad in a monoidal bicategory (86 messages, latest: Jul 26 2024 at 23:10)
- monomial composition comonoids (8 messages, latest: Jul 26 2024 at 18:44)
- Effective descent morphisms are descent equivalences (3 messages, latest: Jul 25 2024 at 20:56)
- Monoidal structure from products (75 messages, latest: Jul 25 2024 at 13:38)
- Terminology: natural element of a profunctor (8 messages, latest: Jul 23 2024 at 20:58)
- coherences in monoidal categories with diagonals (3 messages, latest: Jul 22 2024 at 07:29)
- AlgebraicJulia book (6 messages, latest: Jul 19 2024 at 13:34)
- Endofunctors of a cartesian monoidal category are opmonoidal (16 messages, latest: Jul 19 2024 at 13:30)
- Monad composition (106 messages, latest: Jul 13 2024 at 19:25)
- Internally compact objects (3 messages, latest: Jul 12 2024 at 17:18)
- Codomain fibration of a topos as a higher sheaf (9 messages, latest: Jul 11 2024 at 17:42)
- Monads of effective descent type and comonadicity (1 message, latest: Jul 08 2024 at 21:28)
- Double categories where the squares "assert equality" (13 messages, latest: Jul 08 2024 at 07:08)
- strict factorization systems as strict algebras (2 messages, latest: Jul 04 2024 at 15:19)
- lax coslices and local presentability (12 messages, latest: Jul 04 2024 at 07:02)
- Conflicting foundations (154 messages, latest: Jul 02 2024 at 07:37)
- Idempotent splitting completion of a monoidal category (6 messages, latest: Jul 01 2024 at 14:53)
- Hopf monoids in set species (62 messages, latest: Jun 26 2024 at 19:44)
- ✔ Set-theoretic category theory (7 messages, latest: Jun 21 2024 at 02:05)
- Set-theoretic category theory (8 messages, latest: Jun 18 2024 at 07:32)
- localization of 2-categories (5 messages, latest: Jun 13 2024 at 18:38)
- Effective epi of topoi not stable by base change (44 messages, latest: Jun 03 2024 at 11:14)
- Natural equalizer preserved by the tensor product in Vec? (5 messages, latest: Jun 02 2024 at 12:55)
- An Inverse Functor Shortcut (19 messages, latest: May 29 2024 at 15:13)
- A. Kock's thesis (5 messages, latest: May 27 2024 at 06:44)
- Algebraic set theory (10 messages, latest: May 26 2024 at 22:38)
- Binoidal categories and the principle of equivalence (61 messages, latest: May 24 2024 at 23:13)
- “Natural cotransformations” (48 messages, latest: May 16 2024 at 11:41)
- A neat paper (6 messages, latest: May 10 2024 at 17:28)
- Faithful presheaf over presheaves (11 messages, latest: May 02 2024 at 17:17)
- General formulation of coherence conditions (15 messages, latest: Apr 26 2024 at 19:18)
- Example of a localization that needs to be iterated (19 messages, latest: Apr 23 2024 at 19:05)
- An extranatural question (7 messages, latest: Apr 21 2024 at 14:38)
- Isbell duality, functor tensor products, and traces (6 messages, latest: Apr 20 2024 at 22:43)
- What is the counit of the Isbell duality adjunction? (24 messages, latest: Apr 20 2024 at 22:15)
- Enriching a monad in a monad (5 messages, latest: Apr 20 2024 at 14:12)
- Polycategories and PROPs; common generalization ? (27 messages, latest: Apr 16 2024 at 20:15)
- isomorphisms in double categories (22 messages, latest: Apr 14 2024 at 15:32)
- Generalized polycategories & distributive laws (9 messages, latest: Apr 14 2024 at 07:58)
- Splitting an idempotent to quotient a monad (205 messages, latest: Apr 14 2024 at 00:30)
- Characterizing abelianness like stability (2 messages, latest: Apr 12 2024 at 13:13)
- Cat(Mon(Cat)) vs Mon(Cat(Cat)) (36 messages, latest: Apr 12 2024 at 09:21)
- Is the globe category polytopal? (8 messages, latest: Apr 12 2024 at 04:18)
- strictifying maps with isofibrancy (8 messages, latest: Apr 11 2024 at 15:31)
- Slices vs families (5 messages, latest: Apr 09 2024 at 03:36)
- Intuition for totality (39 messages, latest: Apr 03 2024 at 20:53)
- Cardinal bounded presheaves (20 messages, latest: Apr 03 2024 at 02:31)
- Nice terminology for 2-dimensional mono/epimorphisms (36 messages, latest: Apr 02 2024 at 21:48)
- predicative toposes (6 messages, latest: Apr 01 2024 at 17:52)
- Skew monoidal functors (23 messages, latest: Mar 28 2024 at 22:19)
- free cat w/ duals on a point (9 messages, latest: Mar 27 2024 at 22:21)
- explicit factorizations in 2Cat (6 messages, latest: Mar 27 2024 at 19:48)
- p.r.a. monads from adjunctions (4 messages, latest: Mar 26 2024 at 18:26)
- Yoneda Lemma and Pascal Triangle (5 messages, latest: Mar 25 2024 at 23:56)
- forcing (42 messages, latest: Mar 25 2024 at 09:39)
- slice of abelian category (34 messages, latest: Mar 19 2024 at 17:16)
- Do we need a full enrichment for day convolution (6 messages, latest: Mar 17 2024 at 00:56)
- Non-symmetric monoidal monads (43 messages, latest: Mar 14 2024 at 17:00)
- monoidal vs commutative monads (13 messages, latest: Mar 10 2024 at 09:38)
- The original definition of double category (23 messages, latest: Mar 04 2024 at 14:30)
- Doctrinal adjunction (19 messages, latest: Mar 04 2024 at 06:29)
- Chimera categories (14 messages, latest: Mar 03 2024 at 10:29)
- polymorphism and topos theory (2 messages, latest: Mar 01 2024 at 16:36)
- Dual Pitts theorem(s)? (1 message, latest: Mar 01 2024 at 16:06)
- Coskeletal Induction (seeking reference) (10 messages, latest: Feb 28 2024 at 18:00)
- How often does the law of excluded middle hold? (15 messages, latest: Feb 28 2024 at 10:47)
- Functor Comprehension (27 messages, latest: Feb 27 2024 at 21:55)
- Free abelian group as a colimit (83 messages, latest: Feb 24 2024 at 05:49)
- Categorification of theorems (6 messages, latest: Feb 24 2024 at 00:23)
- Looking for a compact closed category with some properties (88 messages, latest: Feb 23 2024 at 02:09)
- (n+1)-category of n-categories (38 messages, latest: Feb 22 2024 at 23:31)
- Decoupling double bicategories (8 messages, latest: Feb 22 2024 at 17:56)
- ✔ Axioms of Traced (non-strict) Monoidal Categories (8 messages, latest: Feb 22 2024 at 16:52)
- Morphisms of Presentations (7 messages, latest: Feb 21 2024 at 14:55)
- FOL = and/exists + or/forall (44 messages, latest: Feb 20 2024 at 19:56)
- Higher category theory using double categories (10 messages, latest: Feb 18 2024 at 20:54)
- Monoidal vs Commutative Monads (1 message, latest: Feb 18 2024 at 16:12)
- Concrete monoidal categories (13 messages, latest: Feb 16 2024 at 16:20)
- CwF of presheaves (11 messages, latest: Feb 14 2024 at 17:28)
- Enriched double categories (3 messages, latest: Feb 10 2024 at 18:52)
- fibrancy of double categories with companions (28 messages, latest: Feb 07 2024 at 18:25)
- Logic programming (11 messages, latest: Feb 04 2024 at 21:28)
- Theorems for free! (4 messages, latest: Jan 31 2024 at 04:23)
- Tricategories and n-categories (10 messages, latest: Jan 30 2024 at 17:42)
- Colimits of finite poset-shaped diagrams (13 messages, latest: Jan 30 2024 at 09:30)
- ✔ appealing to 'naturality' inside a tricategory (9 messages, latest: Jan 29 2024 at 16:25)
- bicategory of spans of categories (13 messages, latest: Jan 29 2024 at 15:47)
- yoneda for virtual double categories (31 messages, latest: Jan 29 2024 at 01:54)
- Trimble n-categories, "weakly enriched" (7 messages, latest: Jan 28 2024 at 23:48)
- Getting pseudofunctors from representable profunctors (34 messages, latest: Jan 27 2024 at 04:43)
- Weak initial algebras? (11 messages, latest: Jan 19 2024 at 17:22)
- lax reflective subcategories (21 messages, latest: Jan 17 2024 at 20:54)
- groupoids from partial group actions (13 messages, latest: Jan 16 2024 at 17:27)
- The coalgebraic dual of a monad is also a monad (18 messages, latest: Jan 16 2024 at 16:35)
- species (67 messages, latest: Jan 09 2024 at 12:55)
- Categories of (co)sieves (6 messages, latest: Jan 08 2024 at 08:16)
- arrow category as a monad (9 messages, latest: Jan 06 2024 at 13:16)
- On doing category theory within set-theoretic foundations (6 messages, latest: Jan 04 2024 at 20:18)
- KZ monads and fibrations (4 messages, latest: Jan 03 2024 at 09:00)
- Epimorphisms of 2-algebras (11 messages, latest: Jan 03 2024 at 02:26)
- weak equivalences given by vertical maps (4 messages, latest: Jan 02 2024 at 14:41)
- exponentiable double categories (17 messages, latest: Dec 29 2023 at 20:59)
- Definition of streams (6 messages, latest: Dec 29 2023 at 09:20)
- From *-autonomous to compact closed (61 messages, latest: Dec 22 2023 at 20:43)
- partially monoidal functors and extensions (9 messages, latest: Dec 21 2023 at 23:50)
- ✔ pullback in functor 2-category (19 messages, latest: Dec 21 2023 at 22:47)
- pullback in functor 2-category (31 messages, latest: Dec 21 2023 at 03:49)
- Polynomial maps in a categorical setting (57 messages, latest: Dec 21 2023 at 03:38)
- enriched directed colimit (7 messages, latest: Dec 19 2023 at 19:17)
- Looking for Loday's slides on combinads (7 messages, latest: Dec 18 2023 at 05:45)
- Characterizing the poset reflection of presheaves (18 messages, latest: Dec 17 2023 at 20:13)
- Category theoretic definitions of a category (53 messages, latest: Dec 14 2023 at 00:19)
- equipments of algebras (1 message, latest: Dec 10 2023 at 02:20)
- Comonoid homomorphisms in Prof (4 messages, latest: Dec 07 2023 at 04:20)
- Reference for (E,M)-factorizations (9 messages, latest: Dec 06 2023 at 22:18)
- Convolution of monad with a comonad (35 messages, latest: Dec 02 2023 at 17:04)
- ✔ Dualizable objects in Prof (3 messages, latest: Nov 27 2023 at 15:24)
- pseudocategories in monoidal categories (9 messages, latest: Nov 27 2023 at 07:38)
- Dualizable objects in Prof (3 messages, latest: Nov 24 2023 at 17:06)
- Lax Boardman-Vogt tensor product of operads (4 messages, latest: Nov 17 2023 at 21:10)
- Flat object in a symmetric monoidal category (34 messages, latest: Nov 17 2023 at 11:05)
- universal property of images (7 messages, latest: Nov 15 2023 at 06:54)
- up of images (1 message, latest: Nov 14 2023 at 11:06)
- Constructing compact closed bicategories (39 messages, latest: Nov 14 2023 at 08:22)
- electronic copy of Betti and Galuzzi? (8 messages, latest: Nov 08 2023 at 15:31)
- accessibility of induced functors (6 messages, latest: Nov 07 2023 at 17:28)
- Sequential/chain completions of categories (5 messages, latest: Nov 06 2023 at 15:12)
- Fibered groups and their actions on categories (5 messages, latest: Nov 01 2023 at 18:38)
- Category theory in a topos (14 messages, latest: Nov 01 2023 at 18:12)
- Composition of adjunctions (19 messages, latest: Nov 01 2023 at 16:22)
- Comprehensive factorisation (3 messages, latest: Oct 27 2023 at 19:17)
- Transporting a lax algebra structure across an adjunction (17 messages, latest: Oct 27 2023 at 02:38)
- Curry Howard Correspondence (78 messages, latest: Oct 27 2023 at 01:17)
- collage diagrams (8 messages, latest: Oct 26 2023 at 12:00)
- ✔ Is h_0 really an isofibration? (7 messages, latest: Oct 24 2023 at 14:05)
- In search of some double categories (6 messages, latest: Oct 19 2023 at 16:51)
- Small object argument in a cofibration category? (17 messages, latest: Oct 16 2023 at 21:25)
- non-analytic monads with arities (7 messages, latest: Oct 12 2023 at 07:32)
- ✔ Free colored PROP on sets of objects and morphisms (50 messages, latest: Oct 11 2023 at 14:49)
- Chomsky hierarchy and Categories (21 messages, latest: Oct 02 2023 at 10:13)
- Pseudocategory of spans internal to a 2-category (11 messages, latest: Sep 24 2023 at 06:42)
- change of base (30 messages, latest: Sep 23 2023 at 16:51)
- Indexed monoidal categories over a semicartesian base (12 messages, latest: Sep 23 2023 at 04:53)
- ri(n)gs laws from laws of exponents (3 messages, latest: Sep 16 2023 at 23:55)
- counting algebraic structures (20 messages, latest: Sep 16 2023 at 13:15)
- are Stone spaces free relational beta-modules? (23 messages, latest: Sep 15 2023 at 00:19)
- Pseudo-profunctor (3 messages, latest: Sep 10 2023 at 04:13)
- Pushout in 2Cat_lx (5 messages, latest: Sep 06 2023 at 06:17)
- Categorical models for abstract symbols (22 messages, latest: Sep 05 2023 at 09:31)
- Fibrations of multicategories (7 messages, latest: Aug 28 2023 at 17:54)
- reflecting structure (5 messages, latest: Aug 25 2023 at 20:26)
- isocofibrations lifting property (2 messages, latest: Aug 25 2023 at 20:12)
- Easily checking that a category is enriched (47 messages, latest: Aug 21 2023 at 12:23)
- ✔ Are topological groupoids a topological concrete category? (4 messages, latest: Aug 20 2023 at 02:17)
- loose exponentials (14 messages, latest: Aug 18 2023 at 18:23)
- more about promonoidal Kan extensions (1 message, latest: Aug 14 2023 at 17:45)
- Matrix trace as feedback (30 messages, latest: Aug 14 2023 at 04:49)
- Every double category is a double colimit in a canonical way (3 messages, latest: Aug 13 2023 at 23:05)
- Pointwise Kan extensions for double categories (4 messages, latest: Aug 11 2023 at 01:18)
- Exact squares and monoidal cats (11 messages, latest: Aug 04 2023 at 17:36)
- Infinitary distributive monoidal category (8 messages, latest: Aug 04 2023 at 15:55)
- ✔ pullback stability of adjunctions (25 messages, latest: Aug 03 2023 at 10:53)
- Sheaves and operads/multicategories (36 messages, latest: Aug 03 2023 at 00:50)
- Dinatural or extranatural transformation, double categories (6 messages, latest: Aug 02 2023 at 17:44)
- Enriched ind completion (5 messages, latest: Aug 01 2023 at 16:21)
- properties of free categories (7 messages, latest: Jul 28 2023 at 17:47)
- ✔ extensive categories in constructive mathematics (17 messages, latest: Jul 27 2023 at 14:54)
- functors that create limits (18 messages, latest: Jul 25 2023 at 09:11)
- A new monad from a strong monad (63 messages, latest: Jul 17 2023 at 09:27)
- "extensive" monoidal categories (11 messages, latest: Jul 15 2023 at 08:23)
- Does every complete 2-category underlie a virtual equipment? (13 messages, latest: Jul 14 2023 at 17:47)
- ✔ Straightening/unstraightening for (∞,1)/1-categories (26 messages, latest: Jul 13 2023 at 19:01)
- Double category whose vertical category is a 2-category (7 messages, latest: Jul 13 2023 at 15:29)
- modules over rig categories (12 messages, latest: Jul 11 2023 at 15:35)
- promonoidal kan extensions (39 messages, latest: Jul 10 2023 at 16:48)
- Unit cells in a virtual double category (7 messages, latest: Jul 06 2023 at 07:07)
- a paper by Borceux (12 messages, latest: Jul 03 2023 at 17:33)
- Classes in Category Theory (2 messages, latest: Jun 28 2023 at 19:09)
- Comonadicity of Presheaf Categories (13 messages, latest: Jun 28 2023 at 18:19)
- 'free fibrations' of subobjects (21 messages, latest: Jun 27 2023 at 16:02)
- Wreath products (8 messages, latest: Jun 26 2023 at 14:18)
- Regular Hyperdoctrines and Regular Categories (3 messages, latest: Jun 17 2023 at 18:30)
- What do you call an object of Joyal's category $$\Theta$$? (24 messages, latest: Jun 17 2023 at 04:02)
- taking homs (8 messages, latest: Jun 14 2023 at 15:12)
- How is this "initial object" called? (5 messages, latest: Jun 12 2023 at 17:02)
- (Pseudo)monoids in a monoidal double category (1 message, latest: Jun 12 2023 at 13:14)
- Van Kampen colimit wrt a fibration (1 message, latest: Jun 10 2023 at 01:21)
- Dagger compact category from bilinear form (58 messages, latest: Jun 09 2023 at 08:25)
- Category of elements vs Grothendieck construction (12 messages, latest: Jun 07 2023 at 19:06)
- copointed endofunctors with this property (11 messages, latest: Jun 07 2023 at 07:28)
- The free F-algebra is a T-algebra (5 messages, latest: May 28 2023 at 03:03)
- ref request: triple categories / 3-monads (23 messages, latest: May 24 2023 at 07:09)
- Ref request: monad for boolean algebras (63 messages, latest: May 23 2023 at 03:18)
- introduction to categories as algebraic gadgets (74 messages, latest: May 21 2023 at 15:58)
- Extending copresheaves along functors (5 messages, latest: May 21 2023 at 08:00)
- Cumulants and Joyal Combinatorial Species (2 messages, latest: May 15 2023 at 15:37)
- Linear ultrafilters? (3 messages, latest: May 15 2023 at 15:14)
- unifying *-autonomous and traced categories (9 messages, latest: May 15 2023 at 09:15)
- "reflective stability" of categories (5 messages, latest: May 14 2023 at 21:34)
- Notation for adjoints as an operation (39 messages, latest: May 08 2023 at 13:48)
- Approach to whiskering with lax functors (4 messages, latest: Apr 26 2023 at 12:07)
- Cartesian 2-category (5 messages, latest: Apr 11 2023 at 18:53)
- Right adjoint to inclusion functor (28 messages, latest: Apr 10 2023 at 16:18)
- ✔ Left adjoint to quintet construction (9 messages, latest: Apr 02 2023 at 11:18)
- iterated fibrations (5 messages, latest: Mar 29 2023 at 20:22)
- Constant dependent function (196 messages, latest: Mar 29 2023 at 19:10)
- Yoneda structures for fibrations (7 messages, latest: Mar 29 2023 at 16:03)
- h-levels, equalities, and other things (18 messages, latest: Mar 28 2023 at 13:07)
- polynomial functors in a weak setting (5 messages, latest: Mar 21 2023 at 11:53)
- Iterated Plethories (6 messages, latest: Mar 21 2023 at 10:56)
- When are two morphisms of polynomials equivalent? (5 messages, latest: Mar 16 2023 at 23:29)
- Connected elements of the category of elements (9 messages, latest: Mar 16 2023 at 00:47)
- higher geometric categories (2 messages, latest: Mar 15 2023 at 15:18)
- minimal and maximal objects (19 messages, latest: Mar 13 2023 at 16:54)
- pulling back adjoints (8 messages, latest: Mar 12 2023 at 19:39)
- distributivity of limits and colimits (183 messages, latest: Mar 10 2023 at 17:12)
- "expanded" composition (11 messages, latest: Mar 10 2023 at 08:06)
- 2-universal morphisms/biadjoints for cheap (14 messages, latest: Feb 28 2023 at 09:23)
- 'semibraidings' (10 messages, latest: Feb 27 2023 at 14:59)
- Kan extension as lax-functorial (20 messages, latest: Feb 26 2023 at 21:20)
- Is my category a Kleisli category over C (18 messages, latest: Feb 25 2023 at 22:38)
- Extending a monad from a co-Kleisli category (3 messages, latest: Feb 24 2023 at 22:41)
- diagrammatic vs applicative composition order (16 messages, latest: Feb 23 2023 at 20:36)
- coherence for categorical constructions (31 messages, latest: Feb 20 2023 at 16:59)
- final functors into filtered categories (12 messages, latest: Feb 15 2023 at 07:29)
- "Idempotent" monads (8 messages, latest: Feb 14 2023 at 07:29)
- can one define an adjunction starting from the co/monads? (9 messages, latest: Feb 13 2023 at 11:14)
- Question about a subcategory of comma categories (6 messages, latest: Feb 10 2023 at 20:55)
- Tangent space on a hom-object (24 messages, latest: Feb 08 2023 at 00:54)
- n-fold category of algebras and coalgebras? (32 messages, latest: Feb 06 2023 at 09:50)
- factorization system from arrows to objects (5 messages, latest: Feb 03 2023 at 11:35)
- the easiest way to construct an adjunction? (9 messages, latest: Feb 02 2023 at 22:55)
- Limits in double functor categories (2 messages, latest: Jan 27 2023 at 12:24)
- multiple vs n-fold categories (2 messages, latest: Jan 26 2023 at 00:46)
- κ-small κ-accessible categories (5 messages, latest: Jan 25 2023 at 19:39)
- not all monads are co-KZ (14 messages, latest: Jan 23 2023 at 15:01)
- taking algebras is the algebra of the taking monad monad (10 messages, latest: Jan 19 2023 at 10:59)
- Lawvere-Tierney topologies (6 messages, latest: Jan 16 2023 at 20:23)
- unbiased 2-categories (10 messages, latest: Jan 15 2023 at 16:49)
- Adjunctions between tri-categories (7 messages, latest: Jan 14 2023 at 01:16)
- 2-pushouts in 2-categories (6 messages, latest: Jan 13 2023 at 15:40)
- flat and sharp notation for adjuncts (10 messages, latest: Jan 13 2023 at 15:39)
- or-fibrations (1 message, latest: Jan 12 2023 at 01:42)
- companion as "teleporting" (4 messages, latest: Jan 11 2023 at 22:10)
- adjunction with icons (16 messages, latest: Jan 09 2023 at 01:38)
- Monads induced by a section/retraction pair (9 messages, latest: Jan 08 2023 at 22:40)
- pushing fibrations (26 messages, latest: Jan 08 2023 at 07:38)
- left leg is fibration, right leg is opfibration (14 messages, latest: Jan 05 2023 at 08:51)
- Pullbacks and Cartesian monads (5 messages, latest: Jan 04 2023 at 13:35)
- Reference for Top and related categories (1 message, latest: Dec 30 2022 at 18:03)
- Conjectures on generalized equipments (28 messages, latest: Dec 29 2022 at 02:20)
- inverse image (67 messages, latest: Dec 16 2022 at 01:37)
- strict localizations (6 messages, latest: Dec 15 2022 at 15:41)
- free cartesian structure over a monoidal category (13 messages, latest: Dec 13 2022 at 14:05)
- semistrictification theorem for tetracats? (41 messages, latest: Dec 10 2022 at 22:22)
- Fib has conjoints, but not companions (60 messages, latest: Dec 10 2022 at 18:36)
- Semiadditive representable multicategories (54 messages, latest: Dec 08 2022 at 20:39)
- Categorical treatment of parametrized theories? (70 messages, latest: Dec 06 2022 at 10:41)
- Relative monads (4 messages, latest: Dec 02 2022 at 19:21)
- Freyd-Mitchell for Sheaves of Commutative Monoids (5 messages, latest: Dec 01 2022 at 18:42)
- Yoneda as a right extension?! (3 messages, latest: Nov 25 2022 at 15:10)
- stream events (7 messages, latest: Nov 24 2022 at 18:58)
- Pseudomonoidal fibrant double categories (3 messages, latest: Nov 21 2022 at 16:28)
- "Flow" to presheaf categories (8 messages, latest: Nov 18 2022 at 07:54)
- Dependent external tensor product (21 messages, latest: Nov 08 2022 at 18:21)
- Indexed adjunctions (5 messages, latest: Nov 07 2022 at 18:31)
- "On local adjointness of distributive bicategories" (3 messages, latest: Nov 07 2022 at 11:26)
- Linear analogues of topos (17 messages, latest: Nov 01 2022 at 03:27)
- Kleisli category with products (11 messages, latest: Oct 25 2022 at 12:46)
- basis (50 messages, latest: Oct 25 2022 at 12:31)
- the (∞, 1)-category of strict ∞-groupoids (5 messages, latest: Oct 23 2022 at 12:11)
- slice functor factorization (5 messages, latest: Oct 22 2022 at 08:56)
- old documents on fibered categories available by Bènabou,... (13 messages, latest: Oct 20 2022 at 20:57)
- double profunctors (22 messages, latest: Oct 19 2022 at 23:14)
- action on presheaves over a graph (18 messages, latest: Oct 19 2022 at 12:39)
- functors inducing poset isomorphisms (2 messages, latest: Oct 16 2022 at 17:26)
- 2-category of nat. transformations between sym. mon. cat. (14 messages, latest: Oct 15 2022 at 09:07)
- morphism of modules over 2-rigs (23 messages, latest: Oct 14 2022 at 15:02)
- cartesian morphisms as “fibred terminal” (35 messages, latest: Oct 14 2022 at 05:52)
- internal monoid actions (22 messages, latest: Oct 12 2022 at 20:03)
- pushing forward a diagram at its “sinks” (5 messages, latest: Oct 09 2022 at 17:44)
- higher operads (8 messages, latest: Oct 07 2022 at 17:18)
- well-founded relations and Yoneda (5 messages, latest: Oct 04 2022 at 18:21)
- lax/weak monoidal categories (8 messages, latest: Oct 04 2022 at 15:52)
- linear natural transformation (8 messages, latest: Oct 04 2022 at 13:17)
- quintets construction (11 messages, latest: Sep 29 2022 at 08:43)
- strings for triple categories (65 messages, latest: Sep 28 2022 at 14:55)
- Reference in Cartesian Bicategories I (23 messages, latest: Sep 21 2022 at 18:03)
- formal definition of Grothendieck topos (18 messages, latest: Sep 15 2022 at 16:51)
- lax adjunction with lax functors (14 messages, latest: Sep 14 2022 at 17:25)
- pullback of equalizers (4 messages, latest: Sep 14 2022 at 07:52)
- universality of the fundamental opindexed cat (17 messages, latest: Sep 13 2022 at 13:29)
- simple examples of equivalences (27 messages, latest: Sep 03 2022 at 18:16)
- A site of Joyal-Street string diagrams? (10 messages, latest: Sep 02 2022 at 20:02)
- Audrey Tan's thesis (6 messages, latest: Sep 01 2022 at 09:39)
- Is there a name for a monoid with extra operations? (5 messages, latest: Aug 21 2022 at 13:55)
- Beck's thesis and Grothendieck topologies (4 messages, latest: Aug 20 2022 at 17:39)
- the 2-category of adjoints (14 messages, latest: Aug 09 2022 at 14:51)
- this category "is an object of itself"! (42 messages, latest: Aug 08 2022 at 22:46)
- fibrational view of locales (1 message, latest: Aug 08 2022 at 21:35)
- a property of bifibrations (15 messages, latest: Jul 19 2022 at 19:48)
- lax morphism classifiers (43 messages, latest: Jul 14 2022 at 21:59)
- I need a name for the following (20 messages, latest: Jul 12 2022 at 16:46)
- Kan enriched categories and localisation (3 messages, latest: Jul 11 2022 at 11:53)
- displaying transformations (20 messages, latest: Jul 06 2022 at 09:31)
- the walking monomorphism (7 messages, latest: Jun 28 2022 at 19:24)
- Endofunctors of FVec_{K} (10 messages, latest: Jun 07 2022 at 06:15)
- "untwisted" tabulation - what is this? (23 messages, latest: Jun 06 2022 at 14:01)
- shape of finitary functors (21 messages, latest: May 25 2022 at 18:31)
- commutative diagrams of 2-cells (8 messages, latest: May 22 2022 at 16:05)
- monad not preserving epimorphisms (9 messages, latest: May 20 2022 at 11:21)
- cofunctors as profunctors (13 messages, latest: May 16 2022 at 13:02)
- absolute colimits and bilimits (9 messages, latest: May 15 2022 at 23:10)
- fibrations and quantifiers (53 messages, latest: May 08 2022 at 19:42)
- lifting monads to lax limit categories (10 messages, latest: May 04 2022 at 14:47)
- discrete fibrations are left Beck-Chevalley (3 messages, latest: Apr 27 2022 at 16:17)
- plain monoidal categories hurt my head (1 message, latest: Apr 23 2022 at 23:23)
- complementary subcategories (4 messages, latest: Apr 23 2022 at 08:47)
- V-enriched categories vs. categories with V-action (32 messages, latest: Apr 22 2022 at 17:49)
- enrichment as a structure (12 messages, latest: Apr 22 2022 at 00:57)
- relative left adjoints, categories of fractions (1 message, latest: Apr 21 2022 at 06:00)
- 2-categories of symmetric strict monoidal categories (30 messages, latest: Apr 18 2022 at 14:58)
- Steiner's Augmented Directed Complexes (14 messages, latest: Apr 15 2022 at 06:02)
- Mates on steroids (2 messages, latest: Apr 09 2022 at 23:53)
- variant on Yoneda (2 messages, latest: Apr 09 2022 at 18:23)
- model structures on Cat (14 messages, latest: Apr 09 2022 at 01:44)
- generalised lenses and generalised lens laws (18 messages, latest: Apr 08 2022 at 13:47)
- (non)-factorization of adjoints (7 messages, latest: Apr 06 2022 at 18:21)
- compact closed with self-dual objects (6 messages, latest: Apr 06 2022 at 01:24)
- monoidal closed but not compact closed (51 messages, latest: Apr 04 2022 at 06:51)
- Dual Day Convolution? (8 messages, latest: Mar 25 2022 at 13:36)
- laxer limits (13 messages, latest: Mar 24 2022 at 16:38)
- literature citation for pentagon in categories with products (4 messages, latest: Mar 21 2022 at 13:48)
- 'center' of monoidal categories (19 messages, latest: Mar 10 2022 at 19:26)
- braided/symm fc-multicategories/virtual double categories (8 messages, latest: Feb 22 2022 at 23:56)
- A cute definition of enriched categories (1 message, latest: Feb 18 2022 at 13:20)
- compact closed and biproducts (31 messages, latest: Feb 18 2022 at 09:19)
- concrete simplicial sets (4 messages, latest: Feb 15 2022 at 15:59)
- unitors to the left of me, unitors to the right (31 messages, latest: Feb 14 2022 at 19:26)
- reference request: vertical natural transformations (16 messages, latest: Feb 14 2022 at 16:58)
- slices of G-Set (16 messages, latest: Feb 13 2022 at 19:43)
- Gray product for bicategories (3 messages, latest: Feb 09 2022 at 17:35)
- Reference for *-autonomous categories (2 messages, latest: Feb 04 2022 at 15:00)
- Terminology for "double hom sets"? (4 messages, latest: Feb 03 2022 at 08:26)
- two algebra structures (38 messages, latest: Jan 21 2022 at 19:45)
- lifted functor on Met preserves isometries (17 messages, latest: Jan 19 2022 at 18:48)
- What are string diagrams really? (33 messages, latest: Jan 19 2022 at 01:11)
- (n,r)-category (24 messages, latest: Jan 17 2022 at 19:29)
- freely adding comprehensions (2 messages, latest: Jan 17 2022 at 01:33)
- explicit description of the lax monoidal functor classifier? (3 messages, latest: Jan 09 2022 at 20:32)
- Reference request (3 messages, latest: Jan 08 2022 at 13:03)
- classification End (FinSet), End (FinCat) (14 messages, latest: Jan 07 2022 at 03:19)
- Finite dimensional objects in a symmetric monoidal category (7 messages, latest: Dec 22 2021 at 01:38)
- pseudoalgebras of pseudomonads (16 messages, latest: Dec 14 2021 at 10:39)
- morphisms of fibrations (14 messages, latest: Dec 09 2021 at 21:15)
- LCCCs in terms of fibrations? (12 messages, latest: Dec 09 2021 at 12:56)
- logical aspects of cosmoi (6 messages, latest: Dec 06 2021 at 20:52)
- alternate presentations of category theory (11 messages, latest: Dec 02 2021 at 12:04)
- Bipromonoidal Categories (7 messages, latest: Nov 29 2021 at 14:49)
- lax fibrations? (2 messages, latest: Nov 27 2021 at 13:38)
- adjoints and split idempotent transformations (12 messages, latest: Nov 18 2021 at 18:17)
- enrichments and extensions of PRO(P)s (1 message, latest: Nov 17 2021 at 12:52)
- monoidal products do not preserve monos (13 messages, latest: Nov 17 2021 at 07:47)
- free completion of a category (25 messages, latest: Nov 16 2021 at 22:48)
- proarrow equipments (7 messages, latest: Nov 11 2021 at 17:43)
- terminology for halfway rigid monoidal categories (29 messages, latest: Nov 10 2021 at 18:15)
- Adjoint to the quintet construction (12 messages, latest: Nov 07 2021 at 19:43)
- software packages for computer-assisted category theory (22 messages, latest: Nov 05 2021 at 13:28)
- Whiskering lax natural transformations? (3 messages, latest: Nov 04 2021 at 15:52)
- sheafification as co/end (7 messages, latest: Nov 03 2021 at 20:06)
- Isomorphism in algebraic presentation of monads (9 messages, latest: Oct 18 2021 at 17:43)
- supply of comonoids (6 messages, latest: Oct 18 2021 at 10:53)
- Enriched monoidal categories (9 messages, latest: Oct 13 2021 at 05:53)
- Abelian enriched SMCs (2 messages, latest: Oct 12 2021 at 15:40)
- 2-category of algebras and bimodules (33 messages, latest: Oct 08 2021 at 20:30)
- Categories of shapes (30 messages, latest: Sep 27 2021 at 15:34)
- Noncommutative finite products (11 messages, latest: Sep 27 2021 at 13:03)
- Hilbert spaces and cospans (44 messages, latest: Sep 20 2021 at 13:02)
- coherence theorems (27 messages, latest: Sep 16 2021 at 07:42)
- are containers polynomial functors? (3 messages, latest: Sep 15 2021 at 11:39)
- Reading group on "Sheaves in Geometry and Logic" (629 messages, latest: Sep 13 2021 at 08:26)
- a small observation about E-categories (8 messages, latest: Aug 22 2021 at 19:46)
- inner products work a bit like homs (13 messages, latest: Aug 22 2021 at 15:57)
- universe sizes (4 messages, latest: Aug 22 2021 at 00:03)
- unwinding slice/comma 'categories' (29 messages, latest: Aug 21 2021 at 00:17)
- contravariance and infinite regress (26 messages, latest: Aug 20 2021 at 00:44)
- categorification of the real numbers (92 messages, latest: Aug 19 2021 at 00:11)
- Calculating the Day convolution of Cat-valued presheaves (14 messages, latest: Aug 18 2021 at 17:34)
- Decompositional Category Theory (22 messages, latest: Aug 16 2021 at 19:25)
- The relative/map perspective/philosophy (20 messages, latest: Aug 08 2021 at 03:15)
- Smallest dense subcategories (32 messages, latest: Aug 08 2021 at 02:46)
- lax limit: data for 2-cells (9 messages, latest: Aug 07 2021 at 08:56)
- Name for this operation? (Braided Monoidal) (4 messages, latest: Aug 04 2021 at 08:33)
- simplicial methods & co (13 messages, latest: Aug 03 2021 at 22:26)
- subtraction (42 messages, latest: Jul 31 2021 at 11:32)
- the compact closed category of integers (25 messages, latest: Jul 28 2021 at 20:15)
- model structures on bicategories (5 messages, latest: Jul 24 2021 at 00:27)
- resources for learning category theory (3 messages, latest: Jul 20 2021 at 17:12)
- terminology for functor that is almost monadic (15 messages, latest: Jul 11 2021 at 22:48)
- algebra of a profunctor (16 messages, latest: Jul 06 2021 at 13:00)
- adjoint of arrow functor (7 messages, latest: Jul 05 2021 at 12:54)
- questions about "Carrés exacts et carrés déductifs" (14 messages, latest: Jul 01 2021 at 19:56)
- string diagrams for The formal theory of monads (4 messages, latest: Jun 29 2021 at 21:37)
- plane graphs in a PRO (36 messages, latest: Jun 28 2021 at 13:55)
- liftings and distributive laws (4 messages, latest: Jun 26 2021 at 19:32)
- "Inverse" of free (27 messages, latest: Jun 25 2021 at 14:59)
- Presentation of traced SMC of relations between finite sets (19 messages, latest: Jun 23 2021 at 09:15)
- Lawvere theories for operads (3 messages, latest: Jun 21 2021 at 16:03)
- Category theory journals: The Cahiers (3 messages, latest: Jun 21 2021 at 08:55)
- a variant of adjunctions (4 messages, latest: Jun 19 2021 at 23:51)
- looping of monoidal cats (9 messages, latest: Jun 14 2021 at 08:46)
- Slice categories as free lex categories (13 messages, latest: Jun 13 2021 at 17:40)
- cartesian vs Cartesian (39 messages, latest: Jun 05 2021 at 01:40)
- Looking for references on enriched bicategories (14 messages, latest: Jun 02 2021 at 13:58)
- constant + cocontinuous (9 messages, latest: Jun 02 2021 at 10:47)
- adhesive + extensive (8 messages, latest: Jun 02 2021 at 02:53)
- directional structured cospans? (28 messages, latest: Jun 01 2021 at 21:32)
- commutative monoids in a braided monoidal cat (11 messages, latest: May 28 2021 at 13:46)
- The right notion of 'number of morphisms in a category' (16 messages, latest: May 26 2021 at 17:44)
- externalisation of non-Cartesian internal categories (1 message, latest: May 20 2021 at 23:27)
- A bounty over at Math Overflow (4 messages, latest: May 19 2021 at 09:18)
- monads (70 messages, latest: May 17 2021 at 14:39)
- nominal substitution monoids (78 messages, latest: May 14 2021 at 16:39)
- morphisms of presheaf toposes (1 message, latest: May 11 2021 at 00:56)
- equivalences of presheaf categories (51 messages, latest: May 10 2021 at 07:10)
- twisting cochains (5 messages, latest: May 09 2021 at 15:56)
- categorical differential equations (88 messages, latest: May 06 2021 at 23:21)
- doctrines (87 messages, latest: May 05 2021 at 07:14)
- categorifying eigenvalues (62 messages, latest: May 04 2021 at 15:13)
- braided monoidal categories as tricategories (3 messages, latest: Apr 28 2021 at 11:33)
- representability of multirepresentable functors (11 messages, latest: Apr 25 2021 at 15:24)
- tensor product of EM-algebras (42 messages, latest: Apr 20 2021 at 21:25)
- grothendieck construction as a colimit (25 messages, latest: Apr 19 2021 at 19:25)
- type theory of a topos (149 messages, latest: Apr 17 2021 at 18:51)
- co/yoneda as co/evaluation (34 messages, latest: Apr 16 2021 at 21:44)
- where can i look for a laxator (17 messages, latest: Apr 13 2021 at 19:01)
- mono in a 2-category (17 messages, latest: Apr 13 2021 at 17:23)
- lemma in structured cospans (11 messages, latest: Apr 12 2021 at 02:31)
- monads vs monadic functors (3 messages, latest: Apr 07 2021 at 11:06)
- dual of subterminal (33 messages, latest: Apr 06 2021 at 21:31)
- closed monoidal abelian categories (8 messages, latest: Apr 03 2021 at 16:08)
- microcosm principle for actegories (9 messages, latest: Apr 03 2021 at 09:59)
- finitely generated/presented theories? (41 messages, latest: Mar 30 2021 at 06:55)
- Anti-Grothendieck Construction (21 messages, latest: Feb 10 2021 at 17:22)
- Categories of Algebras (6 messages, latest: Feb 10 2021 at 12:24)
- functors between categories of F-algebras (20 messages, latest: Feb 10 2021 at 03:23)
- adjoints are maps of adjoints? (3 messages, latest: Feb 07 2021 at 16:48)
- Functorial boxes (11 messages, latest: Feb 03 2021 at 08:01)
- category theory in chemistry (36 messages, latest: Feb 02 2021 at 21:27)
- name this thing (5 messages, latest: Jan 25 2021 at 13:41)
- Transfer of 'monoidness' (3 messages, latest: Jan 21 2021 at 05:33)
- lecture notes by Lawvere (2 messages, latest: Jan 19 2021 at 09:36)
- Fullness on isomorphisms (10 messages, latest: Jan 06 2021 at 14:58)
- "Cartesian bicategories" (5 messages, latest: Jan 04 2021 at 20:26)
- -1-categories, constructively (10 messages, latest: Jan 03 2021 at 14:43)
- limit preserving left Kan extension (26 messages, latest: Jan 01 2021 at 20:50)
- "Dual braided structure"? (18 messages, latest: Dec 29 2020 at 19:59)
- final (n, 1)-functors (1 message, latest: Dec 28 2020 at 15:59)
- a global view of Kan extensions (35 messages, latest: Dec 23 2020 at 18:39)
- reference on discrete fibrations wanted (11 messages, latest: Dec 23 2020 at 00:01)
- spans in 2-categories (31 messages, latest: Dec 15 2020 at 21:36)
- distributive laws (10 messages, latest: Dec 09 2020 at 16:53)
- Computing pseudo-limits and pseudo-colimits (16 messages, latest: Dec 09 2020 at 14:42)
- cocompactness (8 messages, latest: Dec 09 2020 at 11:55)
- Indexed F-algebras? (5 messages, latest: Dec 08 2020 at 21:35)
- cocompletion preserving some existing colimits (9 messages, latest: Dec 06 2020 at 12:36)
- yoneda lemma & yoneda embedding (16 messages, latest: Dec 03 2020 at 19:10)
- Model Category of GAT Presentations (4 messages, latest: Dec 03 2020 at 07:45)
- braiding as lax monoidal structure (6 messages, latest: Nov 29 2020 at 06:28)
- Does this functor have a right adjoint? (1 message, latest: Nov 25 2020 at 14:36)
- functoriality of codensity monad (17 messages, latest: Nov 19 2020 at 05:20)
- factorisation systems (12 messages, latest: Nov 17 2020 at 13:05)
- Theorem A for topological categories (1 message, latest: Nov 15 2020 at 11:45)
- Efficiently checking naturality (16 messages, latest: Nov 12 2020 at 21:38)
- lax limits are weighted 2-limits (3 messages, latest: Nov 12 2020 at 18:18)
- Truncation functor (23 messages, latest: Nov 12 2020 at 18:13)
- algebra and learning ct (78 messages, latest: Nov 12 2020 at 13:05)
- nucleus of an adjunction (4 messages, latest: Nov 12 2020 at 02:04)
- monad over abelian cat (25 messages, latest: Nov 11 2020 at 09:59)
- the type of mapping c to [c,c] (116 messages, latest: Oct 31 2020 at 10:48)
- homotopical delooping and monoidal delooping (10 messages, latest: Oct 29 2020 at 16:10)
- "Points" in multicategories? (3 messages, latest: Oct 29 2020 at 15:03)
- Well-defined functions/transformations on PROPs (7 messages, latest: Oct 29 2020 at 13:40)
- Skolemization of ends (74 messages, latest: Oct 27 2020 at 21:32)
- a certain groupoid (34 messages, latest: Oct 26 2020 at 23:53)
- Delooping of pseudomonoids (76 messages, latest: Oct 26 2020 at 18:02)
- foundations of string diagrams (29 messages, latest: Oct 24 2020 at 20:29)
- FinSet as walking commutative monoid (113 messages, latest: Oct 23 2020 at 09:55)
- closed Grothendieck construction (1 message, latest: Oct 21 2020 at 05:54)
- "lax" composition? (2 messages, latest: Oct 20 2020 at 14:13)
- Strange Structure (18 messages, latest: Oct 04 2020 at 14:11)
- Double Transformations (6 messages, latest: Sep 30 2020 at 17:05)
- locally regular categories (1 message, latest: Sep 23 2020 at 10:33)
- name my categories! (3 messages, latest: Sep 08 2020 at 14:21)
- colax Grothendieck (28 messages, latest: Sep 04 2020 at 08:46)
- Counterexample to "folk coherence" (52 messages, latest: Jul 22 2020 at 07:42)
- accessible wfs (1 message, latest: Jul 03 2020 at 17:10)
- Monoid-enriched Categories (39 messages, latest: Jul 03 2020 at 16:51)
- algebras vs prealgebras and similar issues (1 message, latest: Jul 03 2020 at 16:39)
- Categories with hom but no tensor (5 messages, latest: Jul 01 2020 at 16:08)
- Lax twisted arrow categories (1 message, latest: Jun 30 2020 at 11:51)
- Product-preserving Functor (42 messages, latest: Jun 27 2020 at 14:14)
- Enriched laxness and tensor products (9 messages, latest: Jun 17 2020 at 19:39)
- enriched algebraic theories & monads (24 messages, latest: Jun 16 2020 at 11:33)
- enriched and internal (56 messages, latest: Jun 09 2020 at 03:32)
- categorification of way-below from domain theory (6 messages, latest: Jun 04 2020 at 09:49)
- (∞, ∞) (124 messages, latest: Jun 03 2020 at 18:34)
- Intuition for Cauchy-completeness (16 messages, latest: Jun 03 2020 at 12:48)
- funny tensor product of categories (8 messages, latest: Jun 03 2020 at 08:54)
- Lifting FS to algebras (11 messages, latest: Jun 02 2020 at 12:22)
- adjointness wrt profunctor(s) (13 messages, latest: May 30 2020 at 21:23)
- representable promonoids and how to find them (7 messages, latest: May 29 2020 at 09:21)
- "Relatively free" algebra structure (10 messages, latest: May 28 2020 at 19:16)
- adjunctions and the Chu construction (19 messages, latest: May 20 2020 at 17:59)
- finitary functors and "cofinitary" (?) functors (78 messages, latest: May 13 2020 at 15:44)
- fully faithful doctrine extensions (64 messages, latest: May 12 2020 at 15:40)
- Double-gluing and functors (6 messages, latest: May 12 2020 at 11:05)
- polynomial functors (33 messages, latest: May 12 2020 at 00:21)
- monoid in a pseudomonoid (13 messages, latest: May 11 2020 at 22:25)
- "Nice" subcategory of Rel? (13 messages, latest: May 11 2020 at 09:34)
- currying (3 messages, latest: May 10 2020 at 01:27)
- evil composition (19 messages, latest: May 09 2020 at 04:28)
- Hoare logic (58 messages, latest: May 08 2020 at 17:49)
- Functors between presentable categories (25 messages, latest: May 08 2020 at 16:02)
- lifting operations (25 messages, latest: May 07 2020 at 16:50)
- Pushouts of Monoids (13 messages, latest: May 07 2020 at 02:08)
- monadification (15 messages, latest: May 06 2020 at 12:24)
- Bi-Heyting algebras (224 messages, latest: Apr 27 2020 at 18:58)
- Logic & Programming Languages (265 messages, latest: Apr 25 2020 at 18:05)
- Kripke CPS and Sheaves (3 messages, latest: Apr 20 2020 at 12:09)
- Stuff about n-Categories (29 messages, latest: Apr 19 2020 at 17:07)
- Classifying spaces of monoids (103 messages, latest: Apr 19 2020 at 09:49)
- Curry-Howard-Lambek Correspondence (31 messages, latest: Apr 19 2020 at 05:56)
- Homotopical category theory (22 messages, latest: Apr 18 2020 at 22:08)
- Monads on Monoids (46 messages, latest: Apr 17 2020 at 19:19)
- adjoint string on the naturals (39 messages, latest: Apr 16 2020 at 16:01)
- simplicial profunctors (14 messages, latest: Apr 16 2020 at 14:44)
- Categories of Abstract Relations (4 messages, latest: Apr 16 2020 at 13:52)
- Set^Set and lamba calculus (64 messages, latest: Apr 15 2020 at 00:34)
- simplicial sheaves and "simplicial sheaves" (1 message, latest: Apr 09 2020 at 16:51)
- a certain 2-limit (2 messages, latest: Apr 09 2020 at 13:56)
- simplicial sets and sheaves (35 messages, latest: Apr 09 2020 at 09:42)
- an Ex-citing diversion (36 messages, latest: Apr 08 2020 at 19:23)
- What is a functor equipped with this thing? (18 messages, latest: Apr 08 2020 at 10:03)
- epi/mono/? classifiers (6 messages, latest: Apr 07 2020 at 07:27)
- Homotopy hypothesis (26 messages, latest: Apr 06 2020 at 15:35)
- Feel the Parametricity (29 messages, latest: Apr 06 2020 at 14:35)
- code wtfs (WRONG TOPIC, GO TO THE ONE IN #OFF-TOPIC) (196 messages, latest: Apr 01 2020 at 02:47)
- only slightly higher topoi (64 messages, latest: Mar 31 2020 at 00:26)
- enchilada categories (23 messages, latest: Mar 30 2020 at 14:59)
- Morphism between more than two objects? (27 messages, latest: Mar 28 2020 at 13:58)
- Model Theory (20 messages, latest: Mar 27 2020 at 08:14)
- "Algebraic" study of categories (28 messages, latest: Mar 26 2020 at 21:28)
- dependent operads (25 messages, latest: Mar 25 2020 at 16:10)
- "linear categories" (2 messages, latest: Mar 24 2020 at 21:10)
- Lax frobenius monoid (5 messages, latest: Mar 24 2020 at 15:59)
- diagrams for application (13 messages, latest: Mar 24 2020 at 06:19)
- universal constructions (8 messages, latest: Mar 23 2020 at 21:06)
